h2 {
- font-size: normal;
+ font-size: 100%;
font-weight: bold;
margin-bottom: 0.1em;
}
background: white;
}
table.list tr:hover {
- background: #eee;
+ background: #eeb;
}
table.list th {
- font-weight: bold;
+ font-weight: normal;
background: #ddd;
border-bottom: solid 1px #aaa;
padding: 0.1em 0.5em 0.1em 0.5em;
div#header {
- background-color: #eee;
+ background-color: #ddd;
padding: 0.25em 0.25em 0.25em 0.5em;
font-size: 150%;
font-weight: bold;
- border: solid 1px #ccc;
+ border: solid 1px #aaa;
vertical-align: middle;
+ margin-bottom: 2em;
}
div#header img#logo {
float: right;
}
+
+div#header input {
+ float: right;
+ margin: 0.25em 1em;
+}
div#header a {
color: black;
}
td.blob {
white-space: pre;
- font-family: courier;
- font-size: 100%;
+ font-family: monospace;
background-color: white;
}