Size of header and footer

[vladimir-v-diaz]

I find the size of the header and footer a bit large. It might help if we adopted a similar size by sites often visited by our target audience, like GitHub, Slashdot, HackerNews, Docker, etc.