- Drop some redundant bits
- Use consistent spacing
- Group similar blocks near each other
There should be no functional change
---
docs/generic.css | 43 +++++++++++++++++++++----------------------
1 file changed, 21 insertions(+), 22 deletions(-)
diff --git a/docs/generic.css b/docs/generic.css
index de9f968..52cd392 100644
--- 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;
-}
--
2.5.0