.LEGALNOTICE {
	font-size: small;
	font-variant: small-caps;
}

H1, H2, H3, H4, H5, H6,
DIV.EXAMPLE P B,
.QUESTION,
DIV.TABLE P B,
DIV.PROCEDURE P B {
	color: #990000;
}

BODY PRE {
	color: #461b7e;
	font-size: 12px; font-family: Fixed;
}

PRE A {
	color: #461b7e;
	font-size: 12px; font-family: Fixed;
}

BODY P B.APPLICATION {
	color: #000000;
}

.FILENAME {
	color: #007a00;
}

.GUIMENU, .GUIMENUITEM, .GUISUBMENU,
.GUILABEL, .INTERFACE, .GUIBUTTON,
.SHORTCUT, .SHORTCUT .KEYCAP {
	background-color: #F0F0F0;
}

.ACCEL {
	background-color: #F0F0F0;
	text-decoration: underline;
} 

.PROGRAMLISTING, .SCREEN {
	margin-left: 3ex;
}