@font-face {
  font-family: GlassTTYVT220;
  src: local("Glass TTY VT220"), local("Glass TTY VT220 Medium"), url(/font/Glass_TTY_VT220.ttf) format("truetype");
}

pre, div, input {
  font-size: 20px;
  font-family: GlassTTYVT220;
}

input[type=text], input[type=submit]:active, div.find a {
  background-color: #18d818;
  color: #000900;
}

html, input[type=submit], div.find a:active {
  color: #18d818;
  background-color: #000900;
}

a {
  color: #1fe81f;
}

a:hover {
  color: #2ff82f;
}