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

html {
  margin-top: 0.25em;
  margin-left: auto;
  margin-right: auto;
  max-width: 37em;
}

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

p {
    line-height: 1.3333;
}

span.noshow {
  display: none;
}

span.notfound {
  text-decoration: blink;
}

a.plain {
  text-decoration: none;
}

input {
  border: none;
  margin: 0;
  padding: 0;
}

input[type=submit] {
  text-decoration: underline;
}

div.find {
  float: right;
  margin: 0;
  padding-top: 0;
  padding-right: 1em;
}

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;
}

table {
  margin-left: 2em;
}

table tr th {
  background-color: #00aa00;
  color: #000900;
  padding-left: 0.5em;
  padding-right: 0.5em;
}

table tr td {
    text-align: center;
}

h1 a, h2 a {
    text-decoration: none;
}

p.sign {
  text-align: right;
}