From 1b13edb1624e1ec9a49290e3f45e82f9af7042af Mon Sep 17 00:00:00 2001 From: Cole Robinson Date: Wed, 9 Mar 2016 20:57:59 -0500 Subject: [PATCH] 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 --- docs/generic.css | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/docs/generic.css b/docs/generic.css index 285e39059e..664e7195a8 100644 --- 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 {