docs: generic.css: minor cleanups

- Drop some redundant bits
- Use consistent spacing
- Group similar blocks near each other

There should be no functional change

diff --git a/docs/generic.css b/docs/generic.css
index de9f968ed20c613cff1cb9493f4ec3b47002d2d1..52cd39260cfdd7f7e86dd1d8cbc2123f2f550f0c 100644 (file)
--- a/docs/generic.css
+++ b/docs/generic.css
@@ -7,30 +7,40 @@ body {
   background: #ffffff;
 }
 
+p:first-line {
+  margin-right: 1em;
+}
+
+div.body p:first-letter {
+  font-size: 1.2em;
+  font-weight: bold;
+}
+
+
 p, ul, ol, dl {
   padding: 0px;
   margin: 0px;
+  margin-top: 1em;
+  margin-bottom: 1em;
 }
 
-ol,ul {
+ul, ol {
   margin-left: 3em;
 }
 
-ol,ul,dl,p {
-  margin-top: 1em;
-  margin-bottom: 1em;
+dt {
+  margin-left: 1em;
+  margin-right: 2em;
 }
 
-p:first-line {
-  margin-right: 1em;
+dl dd {
+  margin-left: 2em;
+  margin-right: 2em;
+  margin-bottom: 0.5em;
 }
 
-div.body p:first-letter {
-  font-size: 1.2em;
-  font-weight: bold;
-}
 
-h1,h2,h3,h4,h5,h6 {
+h1, h2, h3, h4, h5, h6 {
   font-weight: bold;
   margin: 0px;
   padding: 0px;
@@ -55,14 +65,3 @@ h5 {
 h6 {
   font-size: 0.8em;
 }
-
-dl dt {
-  margin-left: 1em;
-  margin-right: 2em;
-}
-
-dl dd {
-  margin-left: 2em;
-  margin-right: 2em;
-  margin-bottom: 0.5em;
-}