Docs: Editing pass for checkpoint/restart
[charm.git] / doc / manual.css
index d37273cc49a2f38452511cd804d11e3e44109129..ab7739ed10893071a3d4de0349437df3096e4376 100644 (file)
@@ -65,6 +65,7 @@ div.navigation {
                margin:0; padding: 2px;
                border-bottom: 1px #555555 solid;
                background: #dfdfdf;
                margin:0; padding: 2px;
                border-bottom: 1px #555555 solid;
                background: #dfdfdf;
+               font-size: 80%;
 }
 
 #nav-quicklinks {
 }
 
 #nav-quicklinks {
@@ -80,11 +81,10 @@ div.navigation {
                margin: 0px 1em;
 }
 
                margin: 0px 1em;
 }
 
-DIV.ManualTitle        {
+DIV.manualtitle        {
                display: inline-block;
                margin: 5px;
                text-align: center;
                display: inline-block;
                margin: 5px;
                text-align: center;
-               font-size: large;
                font-weight: bold;
 }
 
                font-weight: bold;
 }