h1,h2,h3,h4,h5,h6 {
font-family: Arial, Helvetica, sans-serif;
background-color: #ffffff;
color: #990000;
text-align: center;
}
html { margin: 0px; 	font-family: Arial, Helvetica, sans-serif;
}
body { 
/*        margin: 5%; */
	margin-top: 0px; 
/*	padding: 5%; */
	padding-left: 1em; padding-right: 1em;
	font-family: Arial, Helvetica, sans-serif;
}
li, div, p, td  {font-family: Arial, Helvetica, sans-serif; }


a:visited, a:link {
        color: blue;
	text-decoration: none;
}
a:hover {
        color: white;
	background-color: blue;
	text-decoration: none;
}
a { 
text-decoration: none;
}
a:link {  
color: #000066; 
}
a:visited { 
color: #000066;
}
a:hover { 
color: #ffffff;
background-color: #000066;
}
h2 {
        page-break-before: always;
}
div.nav {
	font-size: 0.8em;
	background-color: #dddddd;
}
div.nav div { font-size: 0.8em;}
div.navprevnext {
	text-align: right;
}
div.navlinks {
	text-align: left;
}
div.title {
	font-weight: bold; 
	margin-top: 0.5em; 
	font-family: arial, helvetica, sans-serif;
}
div.link  {
	margin-left: 2em; 
	margin-top: 0.25em;
}
div.linkuri {
	margin-left: 1em; 
	font-family: courier, monospace;
	}
div.header {
	background-color: #dddddd;
	text-align: left;
	font-variant:  small-caps;
	font-size: 0.5em;
	color: #990000;
	border: solid thin #990000;
}
.elementcontent, .element { margin-left: 1em; }
.bracket { font-weight: bold; }
.ename   { color: blue; }
.attr { color: green; }
.attrv { color: green; }
.pcdata { color: black; }
.source, .htmlexample { border-style: solid; border-width: thin; padding: 0.5em; background-color: #eeeeee;}
hr.examplehr { width: 100%; }
.center { text-align: center; }
.comment { color: #888888; }
.fasprompt { color: navy; margin-right: 1em;}
.command { font-weight: bold; color: #990000; }
.terminal, .source {
     background-color: #ffffdd;
     border-style: solid;
     border-width: thin;
     padding: 1em 1em 1em 1em;
}
.highlight {
	background-color: yellow;
}
.styleblock { font-size: 80%; font-family: courier, monospace; white-space: pre; }
.highlight1, .highlight {padding: 0px; background-color: maroon; color: white; }
.highlight2 { padding: 0px; background-color: olive; color: white;}
.highlight0 {padding: 0px; background-color: orange; color: white;}
.highlight3 {padding: 0px; background-color: purple; color: white;}
.highlight4 {padding: 0px; background-color: green; color: white;}
div.room { padding: .5em;}
.hint { margin: 1em; padding: 0.5em; background-color: #dddddd; border: thin dashed black;}
a.external  {
  padding: 0 20px 0px 0px;
  display:inline;
  background-repeat: no-repeat;
  background-position: center right;
 }