p, ol, ul, li, a		{font-family:Arial;}


.group            {font-family:Arial; font-size:90%; color:#FF0000; font-weight:600;}
.unit             {font-family:Arial; font-size:90%; color:#0000FF; font-weight:600;}
.maintxt          {font-family:Arial; font-size:90%;}
.mainsmall        {font-family:Arial; font-size:80%;}
.point            {font-family:Arial; font-size:75%; color:#0000FF; font-weight:600;}
.reference        {font-family:Arial; font-size:75%; color:#000000; font-weight:600;}
.hint             {font-family:Arial; font-size:80%; color:#FF6600; font-weight:600;}
.hinttxt          {font-family:Arial; font-size:80%;}
.caution          {font-family:Arial; font-size:75%; color:#FF0000; font-weight:600;}
.notice           {font-family:Arial; font-size:75%; color:#FF0000; font-weight:600;}
.pagenum          {font-family:Arial; font-size:70%; color:#000000; font-weight:600;}
.reftxt           {font-family:Arial; font-size:80%; color:#000000;}
.numtxt           {font-family:Arial; font-size:70%; color:#FFFFFF; font-weight:600;}
.title            {font-family:Arial; font-size:85%; font-weight:600; color:#000000}
.lines            {line-height: 2pt}
.whitehead { color: white; font-weight: bold; font-size: 1em; font-family: Arial, Helvetica, Geneva, Swiss, SunSans-Regular }
.menu    { color: blue; font-size: 70%; font-family: Arial }
.java      { font-style: normal; font-weight: normal; font-size: 85%; font-family: Arial }
.jstext { font-style: normal; font-weight: normal; font-size: 85%; font-family: Arial }
.jsmall  { font-style: normal; font-weight: normal; font-size: 75%; font-family: Arial }