/* Old browsers read the colors from the HTML attributes; this only refines them. */
body {
    background-color: #222;
    color: #0f0;
    margin: 0;
    padding: 10px 0;
    font-family: "Lucida Console", Monaco, "Courier New", monospace;
    font-size: 12px;
    line-height: 1.4;
}
#container {
    border: 2px solid #f00;
    max-width: 100%;
}
#nav, #footer, .stats {
    border-top: 1px solid #f00;
    border-bottom: 1px solid #f00;
}
a { color: #0ff; text-decoration: none; }
a:hover { color: #fff; background-color: #0aa; }
a.title { color: #0f0; }
h2 {
    font-size: 14px;
    color: #0f0;
    border-bottom: 1px solid #f00;
    padding-bottom: 4px;
    margin: 12px 0 8px 0;
}
table.list { border-collapse: collapse; }
table.list th {
    text-align: left;
    color: #0f0;
    border-bottom: 1px solid #f00;
}
table.list td { border-bottom: 1px solid #1a1a1a; vertical-align: top; }
table.list tr.offline td { color: #080; }
.dim { color: #7a7; }
.num { text-align: right; white-space: nowrap; }
input { font-family: inherit; font-size: 12px; }

@media (max-width: 820px) {
    body { padding: 0; }
    #container { width: 100%; border-width: 0; }
    table.list td.desc, table.list th.desc { display: none; }
}