html {
  color: black;
  background: white;
}

body {
  margin: 0;
  padding: 8px;
}

div.header {
  margin: -8px -8px 8px -8px;
  padding: 8px;
  color: #88f;
  background: #eef;
  border-bottom: 1px solid #88f;
}
div.header h1 {
  margin: 0;
  float: left;
}
div.header a {
  text-decoration: none;
  color: inherit;
}
div.header div.contestant {
  float: right;
}
div.header span.contestant {
  font-weight: bold;
  color: blue;
}
div.header div.navbar {
  float: right;
  clear: right;
}
div.header a.navlink:hover,
div.header a.navlink:active,
div.header div.navbar a:hover,
div.header div.navbar a:active {
  background: #f8f8ff;
  color: #e20;
}

form {
  float: left;
  color: black;
  background: #efe;
  border: 1px solid #8f8;
  padding: 8px;
  margin-right: 8px;
}
form label {
  clear: both;
  display: block;
  margin-bottom: 8px;
  margin-right: 8px;
  float: left;
  width: 14em;
  font-weight: bold;
}
form label.narrow {
  width: auto;
  margin-right: 16px;
}
form label.wide {
  width: auto;
  margin-right: 16px;
}
form label.checkbox {
  display: inline;
  margin: none;
  float: none;
  width: auto;
  font-weight: bold;
}
form textarea {
  display: block;
  clear: both;
}
div.row {
  clear: both;
  margin: 4px;
}
div.controls {
  clear: both;
  margin: 4px;
  padding: 4px 0 0 0;
}
div.message {
  color: black;
  background: #ffc;
  border: 1px solid #ff0;
  padding: 4px;
  margin-bottom: 8px;
}
div.error {
  border: 1px dotted red;
  margin: 4px -4px 4px -4px;
  padding: 4px;
}
form p {
  margin: 4px 4px 10px 4px;
  padding: 0;
}
p.error {
  clear: both;
  margin: 2px 0 0 0;
  padding: 0;
  color: red;
}

div.clear {
  clear: both;
}

a.row {
  display: block;
}
a.row:active, a.row:hover {
  background: #eef;
  color: #e20;
}

th {
  padding: 1px 5px;
  background: #444;
  color: white;
}
tr.evengroup {
  background: white;
  color: black;
}
tr.oddgroup {
  background: #eee;
  color: black;
}
tr.separator {
  text-align: center;
  background: #48c;
  color: white;
  font-weight: bold;
}
td {
  padding: 1px 5px;
}
td.num {
  text-align: right;
}
td.no_try {
  color: #888;
}
td.solved {
  color: #181;
}
td.failed {
  color: #c11;
}
tr.selected {
  font-weight: bold;
}
tr.observer {
  color: gray;
}

div.problems {
  padding-left: 1em;
  margin: 1em 0;
}

div.actions {
  float: left;
  color: black;
  background: #efe;
  border: 1px solid #8f8;
  padding: 8px;
  margin: 0 0 1em 0;
}
div.actions a:active, div.actions a:hover {
  background: #eef;
  color: #e20;
}

h3.problem {
  background: #efe;
}

pre {
  background: #eee;
  border: 1px solid #ddd;
  padding: 8px;
}

div.prevnext {
  float: right;
}

img.right {
  float: right;
  margin-left: 1em;
}

hr.end {
  height: 1px;
  border: none;
  border-top: 1px solid #ddd;
  margin: 2em 10em 0.25em 10em;
}

div.footer {
  text-align: center;
  margin: 2em 0 0 0;
  color: gray;
  font-size: small;
}

