BODY {
    color: #111111;
}
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 #7777dd;
    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 {
    width: 100%;
    color: #222222;
    font-weight: bold;
    font-size: 16pt;
    background-color: #0066FF;
    border: 1px none #0066FF;
    border-top: 1px solid #3399FF;
    border-right: 2px solid #0033EE;
    border-bottom: 2px solid #0033EE;
    border-left: 1px solid #3399FF;
    padding: 10px 0px 10px 0px;
    text-align: center;
}
H4 {
	FONT-WEIGHT: bold; WIDTH: 100%; COLOR: #000000;
}
H5 {
	BORDER-RIGHT: white 1px; PADDING-RIGHT: 2px; BORDER-TOP: white 1px; PADDING-LEFT: 4px; FONT-WEIGHT: bold; PADDING-BOTTOM: 2px; BORDER-LEFT: white 1px; WIDTH: 100%; COLOR: #000000; PADDING-TOP: 2px; BORDER-BOTTOM: white 1px; BACKGROUND-COLOR: #9b72cf; 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;
}