/* gate.css */
@import "default.css";
html,body,body.now { background-color:#000;color:#0A0 }
html { font-size:small }
body { font-size:11px }
html>body { font-size:11px }
code { background-color:#030 }
a { font-family:Verdana,sans-serif }
:link,:visited { color:lime }
:link { font-weight:bold }
:visited { font-weight:normal }
a:hover,a:link:hover,a:visited:hover { background-color:#030 }
ul.nav { border-color:lime; font-size:smaller }
div+ul.nav { border-color:lime; font-size:smaller }
h3 a { font-size:smaller; display:block; text-align:right; line-height:1px; margin-top:-2em }
h4 { font-variant: small-caps; font-size:1.1em }

/* soon.  very soon.

ul.nav { font-size:smaller }
body { font-family:"OCR-A",Verdana,sans-serif }

*/