A          { font-weight:bold; }
A:hover    { color:cc0033; }
.plaintext { text-align:justify; margin-left:40; margin-right:30; 
             font-size:13; font-family:arial,times,serif; }
.maintext  { text-align:justify; margin-left:30; margin-right:20; 
             font-size:13; font-family:arial,times,serif; }
.textonly  { font-size:13; font-family:arial,times,serif; }
.normal    {font-size:10pt; font-family:verdana, sans; text-align:justify; 
            margin-left:5%;margin-right:5%; margin-top:3%; margin-bottom:4%; }
.number    {font-size:10pt; font-family:verdana,arial,monospace; text-align:right; }
.numberhdr {font-size:10pt; font-family:verdana,arial,monospace; }
.header    {font-size:16; margin-left:60; color:#000099; 
            font-weight:bold; text-decoration:underline; }
.subheader {font-size:120%; text-align:center; color:#000099; font-weight:bold; }
.pagehdr   {font-size:16pt; font-family:arial,verdana,monospace; text-align:center;
            font-weight:bold; color:#000099; margin-bottom:20;text-decoration:underline; }
.tblhdr    {font-size:12pt; font-family:arial,verdana,monospace; text-align:center;
            font-weight:bold }
.tblsubhdr {font-size:11pt; font-family:arial,verdana,monospace; text-align:center;
            font-weight:bold }
.theorem   {font-weight:bold; color:#ff0000; }
.lemma     {font-weight:bold; color:#990000; }
.conject   {font-weight:bold; color:#008000; }
.question  {font-weight:bold; color:#008000; }
.example   {font-weight:bold; color:#0000cc; }
.define    {font-weight:bold; color:#000000; }
.nothing   {font-weight:normal; text-decoration:none; color:#000000; }
.back      {font-weight:normal; text-align:center; font-size:12;
            font-family:arial,verdana,monospace; font-style:italic; }