H2 {
    width: 100%;
    color: #000000;
    font-weight: bold;
    background-color: #7777dd;
    border: 1px none #8888f8;
    border-top: 1px solid #8888f8;
    border-left: 1px solid #8888f8;
    border-right: 2px solid #666699;
    border-bottom: 2px solid #666699;
    padding: 4px 3px 1px 8px;
}
H3 {
	background-color: #3333FF;
    padding: 10px 0px 10px 0px;
	width: 100%;
	border: 1px solid #000000;
	font-weight: bold;
	text-align: center;
}
H4 {
	FONT-WEIGHT: bold; WIDTH: 100%; COLOR: #000000;
}
H5 {
	color: #ffffff;
	background-color: #800080;
	padding: 2 2 2 4;
	width: 100%;
	border: 1px none white;
	text-align: center;
}
A:link {
    color: #000099;
}
A:visited {
    color: #000099;
}
A:hover {
    color: #ff0000;
}
H4 A:hover {
    color: #ff6666;
}

.i {
    margin: 0em 1em 0em 1em;
}
PRE.c {
    border: 1px solid gray;
    padding: 5px;
    white-space: pre;
    width: 100%;
    background-color: #fffff0;
}
DIV.c {
    border: 1px solid gray;
    padding: 5px;
    width: 100%;
    background-color: #fffff0;
}
DIV.index {
	BORDER-RIGHT: #888888 2px dotted; PADDING-RIGHT: 0.3em; BORDER-TOP: #888888 2px dotted; PADDING-LEFT: 0.3em; PADDING-BOTTOM: 0.3em; MARGIN: 0.5em; BORDER-LEFT: #888888 2px dotted; PADDING-TOP: 0.3em; BORDER-BOTTOM: #888888 2px dotted
}