From 95a64c7126d59c4bc67f62282eed6bacff6503e8 Mon Sep 17 00:00:00 2001 From: Cole Robinson Date: Wed, 9 Mar 2016 20:42:26 -0500 Subject: [PATCH] docs: generic.css: minor cleanups - Drop some redundant bits - Use consistent spacing - Group similar blocks near each other There should be no functional change --- docs/generic.css | 51 ++++++++++++++++++++++++------------------------ 1 file changed, 25 insertions(+), 26 deletions(-) diff --git a/docs/generic.css b/docs/generic.css index de9f968ed2..52cd39260c 100644 --- a/docs/generic.css +++ b/docs/generic.css @@ -7,20 +7,6 @@ body { background: #ffffff; } -p, ul, ol, dl { - padding: 0px; - margin: 0px; -} - -ol,ul { - margin-left: 3em; -} - -ol,ul,dl,p { - margin-top: 1em; - margin-bottom: 1em; -} - p:first-line { margin-right: 1em; } @@ -30,7 +16,31 @@ div.body p:first-letter { font-weight: bold; } -h1,h2,h3,h4,h5,h6 { + +p, ul, ol, dl { + padding: 0px; + margin: 0px; + margin-top: 1em; + margin-bottom: 1em; +} + +ul, ol { + margin-left: 3em; +} + +dt { + margin-left: 1em; + margin-right: 2em; +} + +dl dd { + margin-left: 2em; + margin-right: 2em; + margin-bottom: 0.5em; +} + + +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; -}