diff options
| author | Sven Gothel <[email protected]> | 2015-07-19 22:24:42 +0200 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2015-07-19 22:24:42 +0200 |
| commit | daf14669243b195c94352089574a4e03d641c1cf (patch) | |
| tree | ecce20df8b7759415776172db5f0e64a1390dc46 /make/doc/javadoc | |
| parent | ad064d8dd94f44093fe196edd4a2dfb6c3a0a8fa (diff) | |
javadoc stylesheet.css: Refine list visual, i.e. top/bottom margin and less indentation.
Diffstat (limited to 'make/doc/javadoc')
| -rw-r--r-- | make/doc/javadoc/stylesheet.css | 20 |
1 files changed, 14 insertions, 6 deletions
diff --git a/make/doc/javadoc/stylesheet.css b/make/doc/javadoc/stylesheet.css index 51ac3b3..a8ad093 100644 --- a/make/doc/javadoc/stylesheet.css +++ b/make/doc/javadoc/stylesheet.css @@ -52,8 +52,19 @@ h5 { h6 { font-size:1.1em; } +ol { + list-style-type:decimal; + padding: 0em 0em 0em 1.2em; +} ul { list-style-type:disc; + padding: 0em 0em 0em 1.2em; +} +ol li { + margin-bottom:0.5em; +} +ul li { + margin-bottom:0.5em; } code, tt { font-size:1.2em; @@ -202,16 +213,13 @@ Page header and footer styles margin:5px 0 0 0; } .header ul { - margin:0 0 25px 0; - padding:0; + margin:0.5em 0 0.5em 0; } .footer ul { - /* margin:20px 0 5px 0; */ - margin:5px 0 5px 0; + margin:0.5em 0 0.5em 0; } .header ul li, .footer ul li { - list-style-type:disc; - padding:5px 0px; + margin:0.5em 0 0.5em 0; } /* Heading styles |