body {
font-family: arial;
- font-size: normal;
+ font-size: 11pt;
background: white;
padding: 0em;
- margin: 0.5em 1em;
+ margin: 0em;
}
h2 {
- font-size: normal;
+ font-size: 120%;
font-weight: bold;
- margin-bottom: 0.1em;
+ margin-bottom: 0.5em;
}
a {
}
table.list {
- border: solid 1px black;
+ border: none;
border-collapse: collapse;
- border: solid 1px #aaa;
}
table.list tr {
background: white;
table.list tr:hover {
background: #eee;
}
+table.list tr.nohover:hover {
+ background: white;
+}
table.list th {
- font-weight: bold;
- background: #ddd;
- border-bottom: solid 1px #aaa;
+ font-weight: normal;
+ border-bottom: solid 1px #777;
padding: 0.1em 0.5em 0.1em 0.5em;
vertical-align: baseline;
}
img {
border: none;
}
-
-
-div#header {
- background-color: #eee;
+table#layout {
+ width: 100%;
+ border-collapse: collapse;
+ margin: 0px;
+}
+td#header {
+ background-color: #ddd;
padding: 0.25em 0.25em 0.25em 0.5em;
font-size: 150%;
font-weight: bold;
- border: solid 1px #ccc;
+ border-bottom: solid 1px #aaa;
vertical-align: middle;
}
-div#header img#logo {
+td#header img#logo {
float: right;
}
-div#header a {
+
+td#header input {
+ float: right;
+ margin: 0.25em 1em;
+}
+td#header a {
color: black;
}
-div#content {
- margin: 0.5em 0.5em;
+td#content {
+ padding: 1em 0.5em;
}
div#blob {
td.blob {
white-space: pre;
- font-family: courier;
- font-size: 100%;
+ font-family: monospace;
background-color: white;
}
-table.log td {
+table.nowrap td {
white-space: nowrap;
}