div, h1, h2, h3, table
  { border: 3px solid
  ; padding     : 2px
  }

h1 
  { background-color: #acf
  ; border-color    : #c99
  ; text-align      : center
  }

h2
  { background-color: #cfc
  ; border-color    : #9c9
  }
            
table, h3
  { background-color: #ccf
  ; border-color    : #99c
  }

div { background-color: #ddd;
      width: 80%;
      margin-left: auto; margin-right: auto; }

var { color: #00c; }
code { color: #d00; }

th { text-align: left; }
td { background-color: white; }

table.results tr td { text-align: right; }
table.results tr th { background-color: #ccf;font-size: small; }
.failed { background-color: red; }
.success { background-color: #9f9; }
.score { background-color: #fc9; }
.time { font-size: small; }
.problem { background-color: #ff6; }
.badrun { background-color: #f6f; }