doc: change default link styling
[charm.git] / doc / assets / manual.css
index 44fa69499fbdb269a496a6e3def286fc2c9d2078..b986602412f041d216ead676bd3d2a5d8b1a1fe7 100644 (file)
@@ -16,19 +16,14 @@ BIG.HUGE            { font-size : larger   }
 BIG.XHUGE              { font-size : xx-large }
 
 /* heading styles */
-H1             { color: #7b2e2e; margin: 2px auto; text-align:center; }
-H2             { color: #7b2e2e; padding: 8pt; }
-H3             { padding: 5pt; }
-H4             { padding: 3pt  }
-H5             {  }
-H1 a   { color: #7b2e2e;  }
-H2 a   { color: #7b2e2e;  }
-H3 a   { color: black;  }
-H4 a   { color: black;  }
-H1 a:hover     { color: #7b2e2e  }
-H2 a:hover     { color: #7b2e2e  }
-H3 a:hover     { color: black  }
-H4 a:hover     { color: black  }
+h1             { color: #7b2e2e; margin: 2px auto; text-align:center; }
+h2             { color: #7b2e2e; padding: 8pt; }
+h3             { padding: 5pt; }
+h4             { padding: 3pt;  }
+
+/* Remove the annoying underlines, but still keep it accessible */
+a { text-decoration: none; }
+a:hover { color:#a00; border-bottom: 1px dotted #a00; }
 
 
 
@@ -42,12 +37,12 @@ body { font-family: "Droid Sans", Arial, sans-serif; }
 h1, h2, h3 { font-family: Puritan, Verdana, Helvetica sans-serif; }
 code, pre { font-family: "Courier New" Courier monospace; }
 
-html {
+body {
                background: #ffffff;
                background: url(hatchbkgd.png) repeat;
 }
 
-body {
+#maincontainer {
                background: #efefef; color: black;
                margin:5em auto 20px;
                padding:30px;
@@ -74,26 +69,12 @@ ul.manual-toc {
                display: none;
 }
 
-ul.manual-toc > li {
-               font-weight: bold;
-}
-
-ul.manual-toc > li > ul {
-               font-weight: normal;
-}
-
-ul.manual-toc, ul.manual-toc ul {
-               list-style-type: none;
-}
-
-ul.manual-toc li a {
-               color: #000;
-               text-decoration: none;
-}
-
-ul.manual-toc li a:hover {
-               color: #7b2e2e;
-}
+ul.manual-toc > li { font-weight: bold; }
+ul.manual-toc > li > ul { font-weight: normal; }
+ul.manual-toc,
+ul.manual-toc ul { list-style-type: none; }
+ul.manual-toc li a { color: #000; text-decoration: none; }
+ul.manual-toc li a:hover { color: #7b2e2e; }
 
 
 #nav-quicklinks {
@@ -109,30 +90,32 @@ ul.manual-toc li a:hover {
                margin: 0px 1em;
 }
 
+#nav-quicklinks a { text-decoration: none; }
+#nav-quicklinks a:hover { color: #7b2e2e; }
+
 .navsymbol {
                font-weight:bold;
                font-size: 130%;
                line-height:70%;
 }
 
-#nav-quicklinks a {
-               text-decoration: none;
-}
-
-#nav-quicklinks a:hover {
-       color: #7b2e2e;
-}
-
-DIV.manualtitle        {
+div.manualtitle        {
                display: inline-block;
                margin: 5px;
                text-align: center;
                font-weight: bold;
 }
 
-DIV.center             {   }
-SPAN.tt                {   }
-SPAN.sc                {   }
+#pulldowntab {
+       position: absolute;
+       left: 50%; top: 0.75em;
+       color: #999;
+       -webkit-transform: rotate(90deg);
+       -moz-transform: rotate(90deg);
+       -o-transform: rotate(90deg);
+       writing-mode: tb-rl;
+}
+
 pre {
                background: #262626;
                color: #d9bf8c;
@@ -145,12 +128,9 @@ pre {
                font-size: 110%;
 }
 
-DIV.small              {   }
-SPAN.bf                {   }
-PRE.preform            {   }
-DIV.em         {   }
-SPAN.textit            { font-style: italic  }
-SPAN.textsl            { font-style: italic  }
-SPAN.arabic            {   }
-SPAN.textbf            { font-weight: bold  }
-SPAN.textsf            { font-style: italic  }
+span.textit            { font-style: italic  }
+span.textsl            { font-style: italic  }
+span.arabic            {   }
+span.textbf            { font-weight: bold  }
+span.textsf            { font-style: italic  }
+