html manual: improve typesetting

Make the pages narrower to avoid overly long lines,
increase line height to improve legibility.

manual/manual/macros.hva

@@ -6,6 +6,16 @@
 \newstyle{a:visited}{color:\visited@color;text-decoration:underline;}
 \newstyle{a:hover}{color:black;text-decoration:none;background-color:\hover@color}
 
+% Compact layout
+\newstyle{body}{max-width:800px}
+\newstyle{@media (min-width:900px)}{body\{margin-left:50px\}}
+\newstyle{@media (min-width:1000px)}{body\{margin-left:100px\}}
+\newstyle{pre}{overflow-y:auto}
+
+% More spacing between lines and inside tables
+\newstyle{p}{line-height:1.3em}
+\newstyle{.cellpadding1 tr td}{padding:1px 4px}
+
 %Styles for caml-example and friends
 \newstyle{div.caml-output}{color:maroon;}
 \newstyle{div.caml-example pre}{margin:2ex 0px;}