body {
    margin-top:    2em;

    background:#FFF
    background-color:#FFF;
    color:#000;

    font-family: Verdana, Sans-Serif;
    font-size: 10px;
}

a            { text-decoration: none;      color: #2d95cf }
a:hover      { text-decoration: underline; color: #2d95cf }

h2 { font-size: larger; text-decoration: none; }

div#Scores td { text-align: right;  width: 8%; }

div#CompileError { font-size: smaller; background-color: #b7b6d8; }
div#CompileError a       { text-decoration: none; color: #000 }
div#CompileError a:hover { text-decoration: none; color: #000; background-color: #8989d3 }

div#RuntimeError { font-size: smaller; background-color: #d3b6b6; }
div#RuntimeError a       { text-decoration: none; color: #000 }
div#RuntimeError a:hover { text-decoration: none; color: #000; background-color: #d88a8a  }

div#DiffError    { font-size: smaller; background-color: #e28888; }
div#DiffError a       { text-decoration: none; color: #000 }
div#DiffError a:hover { text-decoration: none; color: #000; background-color: #d85858  }

div#Timeout      { font-size: smaller; background-color: #d3b6d3; }

div#Best         { background-color: #a6eaa7; }
div#Good         { background-color: #a6eaa7; }
div#Category     { color: #2d95cf; font-size: 12px; text-align: left; font-weight: 500 }
div#AverageTag   { font-size: 12px; text-align: right; font-weight: 500 }
div#Average      { font-size: 12px; text-align: right; font-weight: 500; background-color: #e5e5e5; }
div#Total        { font-size: 12px; text-align: right; font-weight: 700; background-color: #e5e5e5; }


div#Scores table  {
    padding: 1px;
    border-width: 0px;
    border: 0;
    border-collapse: collapse;
}