diff --git a/docs/generic.css b/docs/generic.css
index 52cd39260c..285e39059e 100644
--- a/docs/generic.css
+++ b/docs/generic.css
@@ -2,8 +2,8 @@ body {
   margin: 0em;
   padding: 0px;
   color: rgb(0,0,0);
-  font-family: Verdana, Arial, Helvetica, sans-serif;
-  font-size: smaller;
+  font-family: sans-serif;
+  font-size: 90%;
   background: #ffffff;
 }