diff options
| author | Sven Gothel <[email protected]> | 2015-07-19 22:39:16 +0200 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2015-07-19 22:39:16 +0200 |
| commit | abb11fd8123637b2dcad93a56cc02cd8fc928a5c (patch) | |
| tree | 3622f641aea2d0c4ad2cbcd9679996b042fb9358 /make/doc/javadoc/stylesheet.css | |
| parent | daf14669243b195c94352089574a4e03d641c1cf (diff) | |
javadoc stylesheet.css: Refine list visual, i.e. font size 76 -> 80%, line-height 1.2 (default) -> 1.4
Diffstat (limited to 'make/doc/javadoc/stylesheet.css')
| -rw-r--r-- | make/doc/javadoc/stylesheet.css | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/make/doc/javadoc/stylesheet.css b/make/doc/javadoc/stylesheet.css index a8ad093..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 { |