/* to include this file, use the following line in the header: */ .highlightOrange {background-color: #FF9900;} .highlightGreen {background-color: #00FF00;} .highlightRed {background-color: #FF0000;} .highlightYellow {background-color: #FFFF00;} .style1 { font-family: "Courier New", Courier, monospace; font-size: 12pt; } .style3 {font-family: "Times New Roman", Times, serif} /* EXAMPLE:
A mark
Change the default CSS settings to see the effect.
*/