reduce text padding

[tari3x]

Copying the issue from ocsigen/ocsigen.org-deprecated#38 as it continues being a problem.

The web design of ocsigen.org seems to have a bug in that the contents pane on the left [1] occupies only half of the available vertical space.

I also wish that the dark blue strip at the top of the screen would be a lot narrower, so the vertical space could be reclaimed for text. It seems that the top strip could be reduced to about a third of its height without affecting its information content or the aesthetics.

[1]
e.g.
https://ocsigen.org/js_of_ocaml/3.5.1/manual/overview

[tari3x]

[tari3x]

Actually I noticed that the docs for the libraries themselves have been moved out, so now this is not a problem for me any more.