body {
  font-family:Georgia, serif;
  font-size:1.2em;
  margin:2em 4em;
  background-color:#eee;
}
p, ul li {
  max-width:40em;
}
p {
  color:#333;
}
li {
  color:#444;
  font-size:0.9em;
  margin-bottom:0.3em;
}
a { text-decoration:none; }
a:hover { text-decoration:underline; }


label {
  color:#666;
}
input[type="text"] {
  font-family:monospaced;
}
input {
  font-size:1.1em;
}
input[type="submit"], button {
  padding:0.2em 1em;
}


.box {
  display:inline-block;
}
.box label {
  display:block;
  text-align:center;
}
.box input[type="text"] {
  text-align:center;
}


.column label {
  display:inline-block;
  width:3em;
}

.tests li { max-width:100%; }
.ok { color:#090; }
.error { color:#c00; }

.command span {
  opacity:0.2;
}
.command:hover span {
  opacity:1;
}