-body,h1,h2,h3,h4,h5,h6,p,center,td,th,ul,dl,div {
- font-family: sans-serif;
-}
-
body {
+ font-family: sans-serif;
background-color: black;
color: #bbbbbb;
- margin: 0px;
-}
-
-table {
- padding: 8px 4px;
-}
-
-th {
- padding: 2px 5px;
- font-size: 100%;
- text-align: left;
+ margin: 20px;
}
td {
- padding: 2px 5px;
- font-size: 100%;
+ padding: 2px 10px 2px 10px;
vertical-align: top;
}
+span.slogan {
+ font-size: 200%;
+ font-weight: bold;
+ color: #ddd;
+}
+
a {
color: #cc3322;
}
hr {
- height: 1px;
- border: none;
border-top: 1px solid yellow;
}
-caption { font-weight: bold }
-
/* doxgen */
/* Data structure index. Box with clickable letters */