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;

}