A          {font-weight:bold; }
A:hover    {color:#cc0033; }
.plaintext {text-align:justify; margin-left:2em; margin-right:1.3em; 
            font-size:17px; font-family:arial,times,serif; }
.maintext  {text-align:justify; margin:0.8em 4px 0.2em 6px;  
            font-size:16px; font-family:arial,times,serif; }
.textonly  {font-size:17px; font-family:arial,times,serif; }
.normal    {font-size:14px; font-family:verdana, sans; text-align:justify; 
            margin-left:5%;margin-right:5%; margin-top:3%; margin-bottom:4%; }
.line      {background-color:#000080; color:#000080; height:4px; margin:0.8em 3px 1em 3px;} 
.nobreak   {white-space:nowrap; }
.preformat {font-family:monospace; white-space:pre; }
.number    {font-size:13px; font-family:verdana,arial,monospace; text-align:right; }
.numberhdr {font-size:13px; font-family:verdana,arial,monospace; }
.header    {font-size:21px; margin:0.9em 1em 0.6em 4em; color:#000099; 
            font-weight:bold; text-decoration:none; }
.subheader {font-family:arial,verdana,monospace;font-size:18px;margin-top:1em; margin-bottom:0.5em; 
            text-align:center; color:#000099; font-weight:bold; }
.pagehdr   {font-size:28px; font-family:arial,verdana,monospace; text-align:center;
            font-weight:bold; color:#000099; margin-top:1em; margin-bottom:1.3em;text-decoration:underline; }
.tblhdr    {font-size:16px; font-family:arial,verdana,monospace; text-align:center;
            font-weight:bold }
.tblsubhdr {font-size:15px; font-family:arial,verdana,monospace; text-align:center;
            font-weight:bold }
 .formula  {font-family:monospace; white-space:nowrap; }         
.theorem   {font-weight:bold; color:#ff0000; font-size:120%; }
.lemma     {font-weight:bold; color:#990000; font-size:120%; }
.conject   {font-weight:bold; color:#008000; font-size:120%; }
.question  {font-weight:bold; color:#008000; }
.example   {font-weight:bold; color:#0000cc; }
.define    {font-weight:bold; }
.nothing   {font-weight:normal; text-decoration:none; }
.back      {font-weight:normal; text-align:center; font-size:14px;
            font-family:arial,verdana; font-style:italic; }

.open, .asgn, .frst, .last, .comp, .news1, .news2, .date
        { font-family:verdana,arial,serif; font-size:13px; font-weight:bold; }
.open, .asgn, .frst, .last, .comp
        { text-align:center; }
.open	{ background-color:#ffffff; }
.asgn	{ background-color:#6699ff; }
.frst	{ background-color:#ff6666; }
.last	{ background-color:#ffcc40; }
.comp	{ background-color:#55dd77; }
.news1  { text-align:left; font-size:13px; background-color:#ccccff;  }
.news2  { text-align:left; font-size:13px; background-color:#d8ffd8;  }
.date   { text-align:right; }
.head   { background-color:#6633cc; color:#ff9966; text-align:center; 
          font-family: verdana, arial, times; font-weight:bold; font-size:24px; }
.newsh  { font-family:verdana,arial,sans-serif; font-size:18px; font-weight:bold;
          margin-left:35%; line-height:180%; text-decoration:underline; color:#3333cc; }