body {
    margin: 10px;
    padding: 0px;
    font-family: "verdana ce", verdana, "tahoma ce", tahoma, "arial ce", arial, helvetica;
    font-size: 12px;
    color: black;    
}

h1.title {
    text-align:     center;
    margin-top:     2em;
    margin-bottom:  2em;
    margin-left:    0pt;
    margin-right:   0pt;
}

h2 {
  font-size: 15px;
}

h2.subtitle, h3.subtitle {
    text-align:     center;
}

table {
    font-family: "verdana ce", verdana, "tahoma ce", tahoma, "arial ce", arial, helvetica;
    font-size: 11px;
}

.toc {
    background-color: white;
    padding-right: 5px;
}

.webpage {
    width: 100%;
    height: 100%;
}

.navfoot {
    color: black;
    font-size: 9px;
    margin-top: 2em;
}

.navfoot TABLE {
    color: black;
    font-size: 9px;
    margin-top: 2em;
    border-top: 1px solid #e0e0e0;
}

DIV.webpage {
    width: 100%;
    height: 500px;
}

pre.programlisting {	
	background-color: silver;
	font-size: 110%;
	border-color: black;
	padding: 5px;
	border-width: thin;
	border-style: solid;
	text-align: left;
}

A {
    text-decoration: none;
}

A:link    { color: blue; }
A:visited { color: blue; }
A:hover   { color: blue; 
	text-decoration: underline;
}

SPAN.curpage {
    color: red;
}
                       
SPAN.shrink1           { font-size: 80%; }
SPAN.shrink2           { font-size: 70%; }
SPAN.shrink3           { font-size: 70%; }