body {
color: yellow; background-color: red; font-family: monospace; font-size: 10px; margin: 0;
}
h3 {
font-weight: bold; border-bottom: 2px solid yellow;
}
h2 {
float: left; color: yellow;
}
ol, ul {
list-style-type: none;
}
ol {
padding-left: 10px;
}
ul {
padding-bottom: 5px; border-bottom: solid yellow 2px;
}
div#stats {
background-color: red; /* #002A5C */ color: yellow; float: left; border-right: solid 2px yellow; height: 100%; padding: 5px; padding-right: 15px; overflow-x: auto;
}
div#jobs {
float: left; top: 10px; width: 500px; padding-left: 20px; color: yellow;
}
div#groups {
color: yellow; background-color: red; border: solid 1px yellow; overflow-y: auto; overflow-x: auto; height: 150px;
}
div#groups a {
color: yellow; background-color: red;
}
.highlight {
background-color: yellow; color: red;
}
td {
padding-right: 10px;
}
a {
text-decoration: underline; color: yellow; font-weight: bold;
}
a:hover, ol a:hover {
text-decoration: underline;
}