A          {font-weight:bold; }
A:hover    {color:#cc0033; }
.plaintext {text-align:justify; margin-left:2em; margin-right:1.3em; 
            font-size:13pt; font-family:arial,times,serif; }
.maintext  {text-align:justify; margin-left:2em; margin-right:1.3em; 
            font-size:13pt; font-family:arial,times,serif; }
.textonly  {font-size:13pt; 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%; }
.line      {background-color:#000080; color:#000080; height:4px; 
            margin-top:0.7em; margin-bottom:0.7em;
            margin-left:2em; margin-right:1.3em; }
.nobreak   {white-space:nowrap; }
.preformat {font-family:monospace; white-space:pre; }
.number    {font-size:10pt; font-family:verdana,arial,monospace; text-align:right; }
.numberhdr {font-size:10pt; font-family:verdana,arial,monospace; }
.header    {font-size:16pt; margin-left:4em; color:#000099; 
            font-weight:bold; text-decoration:none; }
.subheader {font-family:arial,verdana,monospace;font-size:14pt; 
            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:1.3em;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; }
.nothing   {font-weight:normal; text-decoration:none; }
.back      {font-weight:normal; text-align:center; font-size:80%;
            font-family:arial,verdana,monospace; font-style:italic; }