Index: doc/style/html/blurbs.css
===================================================================
--- doc/style/html/blurbs.css	(revision 7435)
+++ doc/style/html/blurbs.css	(working copy)
@@ -30,7 +30,6 @@
     .warning,
     .sidebar
     {
-        font-size: 10pt;
         line-height: 1.2;
         display: block;
         margin: 1pc 4% 0pc 4%;
Index: doc/style/html/general.css
===================================================================
--- doc/style/html/general.css	(revision 7435)
+++ doc/style/html/general.css	(working copy)
@@ -54,7 +54,6 @@
     p 
     {
         text-align: left;
-        font-size: 10pt; 
         line-height: 1.15;
     }
 
Index: doc/style/html/header.css
===================================================================
--- doc/style/html/header.css	(revision 7435)
+++ doc/style/html/header.css	(working copy)
@@ -32,6 +32,7 @@
 
     #heading
     {
+	font-size: 12px; /* fixed font size here to keep the layout correct (the image has a fized size) */
         height: 100px;
         background: url(images/header/background.png) no-repeat top left;
         border-bottom: solid 1px;
@@ -58,7 +59,7 @@
     {
         background-color: #BEDEBA;
         font-weight: bold;
-        font-size: 12px;
+        /*font-size: 120%;*/
         color: #006D00;
         border: 1px solid #DCDCDC;
         border-bottom: 1px solid #9D9D9D;
Index: doc/style/html/lists.css
===================================================================
--- doc/style/html/lists.css	(revision 7435)
+++ doc/style/html/lists.css	(working copy)
@@ -23,7 +23,6 @@
 
     li
     {
-        font-size: 10pt;
         line-height: 1.3;
     }
 
@@ -50,7 +49,6 @@
     .term
     {
         font-weight: bold;
-        font-size: 10pt;
     }
 
     .variablelist table tbody tr td
@@ -58,7 +56,6 @@
         text-align: left;
         vertical-align: top;
         padding: 0em 2em 0em 0em;
-        font-size: 10pt;
         margin: 0em 0em 0.5em 0em;
         line-height: 1;
     }
@@ -72,7 +69,6 @@
     .variablelist dl dd
     {
         margin: 0em 0em 0.5em 2em;
-        font-size: 10pt;
     }
 
     .variablelist table tbody tr td p
Index: doc/style/html/nested_links.css
===================================================================
--- doc/style/html/nested_links.css	(revision 7435)
+++ doc/style/html/nested_links.css	(working copy)
@@ -31,7 +31,7 @@
     {
         background-color: #BEDEBA;
         font-weight: bold;
-        font-size: 12px;
+        /*font-size: 120%;*/
         color: #006D00;
         border: 1px solid #DCDCDC;
         border-bottom: 1px solid #9D9D9D;
@@ -44,7 +44,7 @@
     {
         background-color: #BEDEBA;
         font-weight: bold;
-        font-size: 12px;
+        /*font-size: 120%;*/
         color: #006D00;
     }
 
@@ -52,7 +52,7 @@
     {
         background-color: #008000;
         font-weight: bold;
-        font-size: 12px;
+        /*font-size: 120%;*/
         color:   white;
     }
 
Index: doc/style/html/programlisting.css
===================================================================
--- doc/style/html/programlisting.css	(revision 7435)
+++ doc/style/html/programlisting.css	(working copy)
@@ -24,19 +24,16 @@
 
     p tt.computeroutput
     {
-        font-size: 10pt;
     }
 
     .synopsis
     {
-        font-size: 10pt;
         margin: 1pc 4% 0pc 4%;
     }
 
     .programlisting,
     .screen
     {
-        font-size: 10pt;
         display: block;
         margin: 1pc 4% 0pc 4%;
     }
Index: doc/style/html/table.css
===================================================================
--- doc/style/html/table.css	(revision 7435)
+++ doc/style/html/table.css	(working copy)
@@ -55,7 +55,6 @@
     .table table tr th p,
     .informaltable table tr th p
     {
-        font-size: 10pt;
         text-align: center;
         line-height: 1.2;
         margin: 0;
@@ -78,7 +77,6 @@
     .informaltable table tr td p
     {
         text-align: left;
-        font-size: 10pt;
         line-height: 1.2;
         margin: 0;
         padding: 0;
Index: doc/style/html/toc.css
===================================================================
--- doc/style/html/toc.css	(revision 7435)
+++ doc/style/html/toc.css	(working copy)
@@ -24,11 +24,10 @@
     .toc
     {
        margin: 1pc 4% 0pc 4%;
-       font-size: 10pt;
        line-height: 1.15;
     }
 
     div.toc div.box-inner-wrapper
     {
         padding-left: 36px;
-    }
\ No newline at end of file
+    }