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;

}