.CODE {
        font-family: monospace;
        border: 1px solid black;
        white-space: pre;
        color: black;
        background-color: #dfdfdf;
	align: center;
}
UL.toc {list-style: none}
LI.tocline0 {font-weight: bold}
LI.tocline1 {font-weight: normal}
LI.tocline2 {font-style: italic}