Docs: Editing pass for checkpoint/restart
[charm.git] / doc / manual.css
index 2da513b07e903603fa44e3dadd26d82a3b34fb5e..ab7739ed10893071a3d4de0349437df3096e4376 100644 (file)
@@ -16,17 +16,17 @@ BIG.HUGE            { font-size : larger   }
 BIG.XHUGE              { font-size : xx-large }
 
 /* heading styles */
-H1             { color: #9b4e4e; margin: 2px auto; text-align:center; }
-H2             { color: #9b4e4e; padding: 8pt; }
+H1             { color: #7b2e2e; margin: 2px auto; text-align:center; }
+H2             { color: #7b2e2e; padding: 8pt; }
 H3             { padding: 5pt; }
 H4             { padding: 3pt  }
 H5             {  }
-H1 a   { color: #9b4e4e;  }
-H2 a   { color: #9b4e4e;  }
+H1 a   { color: #7b2e2e;  }
+H2 a   { color: #7b2e2e;  }
 H3 a   { color: black;  }
 H4 a   { color: black;  }
-H1 a:hover     { color: #9b4e4e  }
-H2 a:hover     { color: #9b4e4e  }
+H1 a:hover     { color: #7b2e2e  }
+H2 a:hover     { color: #7b2e2e  }
 H3 a:hover     { color: black  }
 H4 a:hover     { color: black  }
 
@@ -65,6 +65,7 @@ div.navigation {
                margin:0; padding: 2px;
                border-bottom: 1px #555555 solid;
                background: #dfdfdf;
+               font-size: 80%;
 }
 
 #nav-quicklinks {
@@ -80,11 +81,10 @@ div.navigation {
                margin: 0px 1em;
 }
 
-DIV.ManualTitle        {
+DIV.manualtitle        {
                display: inline-block;
                margin: 5px;
                text-align: center;
-               font-size: x-large;
                font-weight: bold;
 }