/* Information on  stylesheets and templates is available in   *
 * the User's and Administrator's Guide                        */

/* Reverse video color schema for use with white background */

.RHBLANK {
       color: white;
       background-color: black;
}

.RHBLUE {
       color: white;
       background-color: blue;
}

.RHGREEN {
       color: white;
       background-color: green;
}

.RHCYAN {
        color: white;
        background-color: #00ffff;        
}

.RHRED {
       color: white;
       background-color: red;
}

.RHMAGENTA {
       color: white;
       background-color: purple;
}

.RHBROWN {
       color: white;
       background-color: #804000;
}

.RHWHITE {
       color: white;
       background-color: #666666;
}

.RHGRAY {
       color: white;
       background-color:  #a0a0a4;
}

.RHLBLUE {
	font-family: monospace;
	color: white;
	background-color: #4040c0;
}

.RHLGREEN {
	font-family: monospace;
	color: white;
	background-color: #40c040;
}

.RHLCYAN {
	font-family: monospace;
	color: white;
	background-color: #40c0c0;
}

.RHLRED {
	font-family: monospace;
	color: white;
	background-color: #ff4040;
}

.RHLMAGENTA {
	font-family: monospace;
	color: white;
	background-color: #c040ff;
}

.RHLYELLOW {
	font-family: monospace;
	color: white;
	background-color: #c0c000;
}

.RHHWHITE {
	font-family: monospace;
	color: white;
	background-color: black;
}