padding: 8px 4px;
}
+th {
+ padding: 2px 5px;
+ font-size: 100%;
+ text-align: left;
+}
+
td {
padding: 2px 5px;
font-size: 100%;
vertical-align: top;
}
+
+a {
+ color: #cc3322;
+}
+
+hr {
+ height: 1px;
+ border: none;
+ border-top: 1px solid yellow;
+}
+
+img {
+ float: right;
+ border-width: 0px;
+}
+
caption { font-weight: bold }
/* doxgen */
color: #BA3708
}
-a:hover {
- text-decoration: none;
- background-color: #ffff00
-}
-
dl.el { margin-left: -1cm }
.fragment {
font-family: Fixed, monospace;
font-size: 75%;
}
-/* links */
-a {
- color: #cc3322;
-}
-
-a:visited {
- color: #cc3322;
-}
-
.dirtab { padding: 4px;
border-collapse: collapse;
border: 1px solid #84b007;
font-weight: bold;
}
-hr {
- height: 1px;
- border: none;
- border-top: 1px solid yellow;
-}
-
/* Style for detailed member documentation */
.memtemplate {
font-size: 100%;
color: #ffff00;
font-style: italic;
}
-body {
- font-family: sans-serif;
- background-color: black;
- color: #bbbbbb;
- margin: 0px;
-}
-
-a {
- color: #cc3322;
-}
-
-a:hover {
- color: #cc3322;
- background-color: #ffff00;
-}
-
-hr {
- height: 1px;
- border: none;
- border-top: 1px solid yellow;
-}
span.cntrl {
border: dashed #aaaaaa;
margin: 0px 2px 0px 2px;
}
-img.logo {
- float: right;
- border-width: 0px;
-}
-
div.page_header {
padding: 8px;
- font-size: 150%;
+ font-size: 120%;
font-weight: bold;
background-color: #151515;
}
div.page_body {
padding: 8px;
font-family: monospace;
- font-size: 150%;
-}
-
-div.title {
- display: block;
- padding: 6px 8px;
- font-weight: bold;
- background-color: #555555;
- text-decoration: none;
- color: white;
+ font-size: 120%;
}
a.title:hover {
div.log_body {
padding: 8px 8px 8px 150px;
+ font-family: monospace;
+ font-size: 120%;
+}
+
+div.log {
+ font-family: monospace;
+ font-size: 120%;
}
span.age {
color: #880000;
}
-table {
- padding: 8px 4px;
-}
-
table.project_list {
border-spacing: 0;
}
vertical-align: top;
}
-th {
- padding: 2px 5px;
- font-size: 100%;
- text-align: left;
-}
-
tr.light:hover {
background-color: yellow;
color: #cc3322;
color: #cc3322;
}
-td {
- padding: 2px 5px;
- font-size: 100%;
- vertical-align: top;
-}
-
td.link, td.selflink {
padding: 2px 5px;
font-family: sans-serif;