1 files changed, 8 insertions, 9 deletions
diff --git a/doc/manual/style.css b/doc/manual/style.css
index 103086de1f36..93ab65c4d138 100644
--- a/doc/manual/style.css
+++ b/doc/manual/style.css
@@ -41,30 +41,29 @@ div.section > div.titlepage h2 /* sections */
     margin-top: 1.5em;
 }
 
-div.refnamediv h2, div.refsynopsisdiv h2, div.refsection h2 /* refentry parts */
+h3 /* subsections */
 {
-    margin-top: 1.4em;
     font-size: 125%;
 }
 
-div.refsection h3
+div.appendix h3
 {
-    font-size: 110%;
+    font-size: 150%;
+    margin-top: 1.5em;
 }
 
-h3 /* subsections */
+div.refnamediv h2, div.refsynopsisdiv h2, div.refsection h2 /* refentry parts */
 {
+    margin-top: 1.4em;
     font-size: 125%;
 }
 
-div.appendix h3
+div.refsection h3
 {
-    font-size: 150%;
-    margin-top: 1.5em;
+    font-size: 110%;
 }
 
 
-
 /***************************************************************************
                                Program listings:
  ***************************************************************************/