docs: generic.css: Indentation and spacing tweaks

- Add line-height:150% spacing for all text. This makes text lines far
  less cramped, and seems closer visually to what wikipedia uses.

- Remove bottom and top margin from lists: entries seemed needlessly
  spread out.

- Reduce sublist indentation a bit

- Add a bottom border after headings: IMO this greatly helps in break
  up the vertical flow of a big page of text. Doesn't look great on the
  front page, but helps a lot on dense pages like formatdomain

diff --git a/docs/generic.css b/docs/generic.css
index 285e39059e6dcf15328d8a987c6c9e9dd96af85a..664e7195a89ea3a6a64bf812363b273af524e98e 100644 (file)
--- a/docs/generic.css
+++ b/docs/generic.css
@@ -20,12 +20,16 @@ div.body p:first-letter {
 p, ul, ol, dl {
   padding: 0px;
   margin: 0px;
+  line-height: 150%;
+}
+
+p {
   margin-top: 1em;
   margin-bottom: 1em;
 }
 
 ul, ol {
-  margin-left: 3em;
+  margin-left: 2em;
 }
 
 dt {
@@ -45,6 +49,8 @@ h1, h2, h3, h4, h5, h6 {
   margin: 0px;
   padding: 0px;
   margin-top: 0.5em;
+  margin-bottom: 0.5em;
+  border-bottom: 1px solid #aaa;
 }
 
 h1 {