The non-doc CSS styles (header/footer stuff) seems very large and looks best zoomed out to about 75% in the browser.

The docs CSS styles are also big but not quite as dire, IMO; that said, they look good at 75% too.