diff options
Diffstat (limited to 'make/doc')
| -rw-r--r-- | make/doc/javadoc/stylesheet.css | 24 |
1 files changed, 16 insertions, 8 deletions
diff --git a/make/doc/javadoc/stylesheet.css b/make/doc/javadoc/stylesheet.css index 9f63956..f767ab6 100644 --- a/make/doc/javadoc/stylesheet.css +++ b/make/doc/javadoc/stylesheet.css @@ -9,7 +9,8 @@ body { background-color:#f5f5f5; color:#111111; font-family:Arial, Helvetica, sans-serif; - font-size:76%; + font-size:80%; + line-height:1.4; margin:0; } a:link, a:visited { @@ -52,8 +53,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,17 +214,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; - font-size:90% + margin:0.5em 0 0.5em 0; } /* Heading styles |