body { font-family: sans-serif }
table { border-collapse: collapse }
th { border-bottom: 2px solid black }
td.arrival { width: 3.5em; text-align: right }
td.hint { width: 3em; text-align: left }
th.end { padding: 0em .1em }
td.finish { text-align: center }
td { border-bottom: 1px solid #cccccc ;
     vertical-align: text-top;
     font-family: monospace;
     text-align: right;
 }
td.name { text-align: left; font-family: sans-serif; vertical-align: middle; padding-left: 10px; min-width: 16em }
.rank { background-color: yellow; font-weight: bold }
td.rank { font-size: 150% }
.solved { background-color: #ffffcc }
.adjusted { background-color: #ffffcc }
.end { text-align: center; vertical-align: middle }
.atime { font-weight: bold }
.stime { color: #999999 }
.best { color: red } 

.hint.punsolved { text-decoration: line-through }

.sat { background-color: #ccccff; color: blue; font-size: smaller; font-family: monospace }
.sun { background-color: #ccffcc; color: green; font-size: smaller; font-family: monospace }