body {
	background: url(vtbackground.gif) #fff no-repeat;
	color: #000;
}

@font-face {
  font-family: "Mayterm";
  font-style: normal;
  font-weight: normal;
  src: url('MaytermOne-Normal.otf') format('opentype');
}

h1 { font-weight: normal; font-size: 400% }
h1 span { font-family: Mayterm, sans; text-shadow: 0 0 3px #666 }
h1 i { font-family: Garamond, Palatino, "Linux Libertine O", serif; color: #444 }
h2 { font-family: Mayterm, sans; font-weight: normal; font-size: 200%; text-shadow: 0 0 2px #666 }
/*
H1 { background-image: url(vt100-net2.png); width: 237px; height: 45px; margin-left: 15em; font-size: 100% }
H1 SPAN { display: none }
*/
h1 { text-align: center }
h2 { clear: both; font-weight: normal; margin-top: 2em }
h2 div { display: inline; padding: 0 0.5em; background-color: #ddd; border: 2px solid #66c; position: relative; top: -0.5em; left: 0.5em }
h3 { clear: both }
.preH3 { clear: both }

.footnote { font-size: smaller }

.quotsec {margin: 0px 2em 0px 2em; padding: 1em 1em 1em 1em; background: none #ddd; color: #000 }
.caveat { color: #800; background: #fff }

hr { margin-top: 30px }
/* A { text-decoration: none } */
a:link { background: transparent none; color: #00f }
a:visited { background: transparent none; color: #909 }
a:active { background: transparent none; color: #f00 }
.button { border: none }
#BOX320 { float: right; }
#TBL320 { float: right }
#IMG320 { margin-left: 20px }
.important { color: #f00; background: transparent none; font-weight: bolder }
div.navbot { clear: both; text-align: right }
#DB { margin-left: 15em }
#DM { background-color: #eee; border: 1px solid #ddd; position: absolute; top: 100px; left: 5px; width: 12em }
#DM ul { font-size: smaller; margin: 0; padding: 0 }

small.highlight {
	color: #000; background-color: #ff0;
	font-family: helvetica, arial, sans-serif; font-size: 70%;
	padding: 0 2px;
	border-top: 1px solid #ff6; border-left: 1px solid #ff6; border-right: 1px solid #cc0; border-bottom: 1px solid #cc0
}

#PUSHMANX { float: right; padding: 10px; margin-left: auto; margin-right: auto; width: 420px;
text-align: center; background-color: #ddd; border: 2px solid #eee; margin-bottom: 1em }
#PUSHMANX IMG { border: none }