PRE {
	margin-left: 2em;
	font-size : 95%;
	font-weight : bold;
	color : black;
	background : #FFFFE0;
}
VAR {
        color: black;
        font-family : "Comic Sans MS";
        font-size : 105%;
        font-style : normal;
}
TT {
        color: black;
	font-size : 100%;
        font-weight: demi-bold;
        background-color: #F0F8FF;
}