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
}
H2 {
    width: 100%;
    color: #333333;
    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 { /* Header */
    width: 100%;
    color: #333333;
    font-weight: bold;
    text-align: center;
    background-color: #7777dd;
    border: 1px none #9999ff;
    border-top: 1px solid #9999ff;
    border-right: 2px solid #333399;
    border-bottom: 2px solid #333399;
    border-left: 1px solid #9999ff;
    padding: 10px 0px 10px 3px;
}
H4 {
	FONT-WEIGHT: bold; WIDTH: 100%; COLOR: #000000;
}
H5 {
	color: #000000;
	background-color: #9999ff;
	padding: 2 2 2 4;
	width: 100%;
	border: 1px none white;
	text-align: center;
	font-weight: bold;
}
H6 {
    font-size: 1em;
    font-weight: bold;
}
A:link {
	color: #0000CC;
}
A:visited {
	color: #000066;
}

.p {
	margin-left: 30px;
	margin-right: 30px;
}
.s {
	margin-left: 60px;
	margin-right: 30px;
}
DIV.i { /* Indent */
	margin-left: 30px;
	margin-right: 30px;
}
PRE.c { /* Code */
	border: 1px solid gray;
	padding: 5px;
	white-space: pre;
	width: 100%;
}
DIV.c { /* Code */
	border: 1px solid gray;
	padding: 3px;
	width: 100%;
}