CSS

diff --git a/docs/styles.css b/docs/styles.css
index 1c1e7eb84e44c1b5c7b9edb779431fd171524ed4..2105a071db510f63e5825232570b51dd232325cf 100644 (file)
--- a/docs/styles.css
+++ b/docs/styles.css
@@ -1,6 +1,6 @@
 body { 
        background-color: #FFFFFF;
-       font: 14px verdana,arial;
+       font: 1.2em verdana,arial;
        font-family: sans-serif;
        margin-top: 4;
        margin-bottom: 4;