diff options
| -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 { |