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