diff options
-rw-r--r-- | make/doc/javadoc/stylesheet.css | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/make/doc/javadoc/stylesheet.css b/make/doc/javadoc/stylesheet.css index 9f63956..51ac3b3 100644 --- a/make/doc/javadoc/stylesheet.css +++ b/make/doc/javadoc/stylesheet.css @@ -212,7 +212,6 @@ Page header and footer styles .header ul li, .footer ul li { list-style-type:disc; padding:5px 0px; - font-size:90% } /* Heading styles |