diff --git a/doc/html/boostbook.css b/doc/html/boostbook.css
index 0a72f78143..c60e100318 100644
--- a/doc/html/boostbook.css
+++ b/doc/html/boostbook.css
@@ -39,7 +39,7 @@
 
     pre.synopsis
     {
-        font-size: 90%;
+        font-size: 9pt;
         margin: 1pc 4% 0pc 4%;
         padding: 0.5pc 0.5pc 0.5pc 0.5pc;
     }
@@ -385,25 +385,6 @@
             background-color: #FFFFFF;
             color: #000000;
         }
-        
-    /* Links */
-        a
-        {
-            color: #005a9c;
-        }
-
-        a:visited
-        {
-            color: #9c5a9c;
-        }
-
-        h1 a, h2 a, h3 a, h4 a, h5 a, h6 a,
-        h1 a:hover, h2 a:hover, h3 a:hover, h4 a:hover, h5 a:hover, h6 a:hover,
-        h1 a:visited, h2 a:visited, h3 a:visited, h4 a:visited, h5 a:visited, h6 a:visited
-        {
-            text-decoration: none; /* no underline */
-            color: #000000;
-        }
 
     /* Syntax Highlighting */
         .keyword        { color: #0000AA; }
@@ -417,6 +398,28 @@
         .white_bkd      { background-color: #FFFFFF; }
         .dk_grey_bkd    { background-color: #999999; }
 
+    /* Links */
+        a, a .keyword, a .identifier, a .special, a .preprocessor
+        a .char, a .comment, a .string, a .number
+        {
+            color: #005a9c;
+        }
+
+        a:visited, a:visited .keyword, a:visited .identifier,
+        a:visited .special, a:visited .preprocessor a:visited .char,
+        a:visited .comment, a:visited .string, a:visited .number
+        {
+            color: #9c5a9c;
+        }
+
+        h1 a, h2 a, h3 a, h4 a, h5 a, h6 a,
+        h1 a:hover, h2 a:hover, h3 a:hover, h4 a:hover, h5 a:hover, h6 a:hover,
+        h1 a:visited, h2 a:visited, h3 a:visited, h4 a:visited, h5 a:visited, h6 a:visited
+        {
+            text-decoration: none; /* no underline */
+            color: #000000;
+        }
+
     /* Copyright, Legal Notice */
         .copyright
         {