@font-face {
 font-family: vga9;
 font-smooth: never;
 src: url(vga9.woff) format("woff");
 font-weight: 400;
 font-style: normal;
}

a {
  color: #88f;
  text-decoration: none;
}

html {
 background-color: #000;
 color: #bbb;
 font-family: vga9, monospace;
 font-size: 1.5em;
}

body {
  max-width: 48em;
  margin: 0 auto;
  padding: 0.5em;
}

input[type=text] {
 background-color: #444;
 color: #00F0F0;
 font-family: vga9, monospace;
 font-size: 1.0em;
 line-height: 1.1;
 border:0px solid;
}

input[type="checkbox"] {
 background-color: #444;
 color: #00F0F0;
 font-family: vga9, monospace;
 width: 1.25em;
 height: 1.25em;
 border: 0em solid currentColor; 
}
input[type=submit] {
 font-family: vga9, monospace;
 font-size: 1.0em;
 line-height: 1.1;
 //border:0px solid;
}