.mainlink
      {
       font-family:     Verdana, Arial;
       font-size:       14pt;
       font-weight:     normal;
       color:           red;
       text-decoration: none; 
      }

.mainlink:hover 
      {
       color:           blue;
      }

.ttulink
      {
       font-family:     Verdana, Arial;
       font-size:       13pt;
       font-weight:     bold;
       color:           #000000;
       text-decoration: none; 
      }

.ttulink:hover 
      {
       color:           #FF0000;
      }

.headlink
      {
       font-family:     Verdana, Arial;
       font-size:       9pt;
       color:           black;
       text-decoration: none; 
      }

.headlink:hover 
      {
       color:           #FF0000;
      }

.date
      {
       font-family:     Verdana, Arial;
       font-size:       10pt;
       color:           #000000;
       text-decoration: none; 
      }      

 PS_125
      {
       line-height:     125%;
      }

 PS_090
      {
       line-height:     90%;
      }

.header 
      {
       font-family:     Verdana, Arial;
       font-size:       8pt;
       color:           #000000;
      }

.tailer 
      {
       font-family:     Verdana, Arial;
       font-size:       8pt;
       color:           #000000;
      }

.taillink 
      {
       font-family:     Verdana, Arial;
       font-size:       8pt;
       color:           #444444;
      }


.taillink:hover 
      {
       color:           #FF0000;
      }

.text{
       font-family:     Verdana, Arial;
       font-size:       9pt;
       color:           black;
       text-decoration: none; 
     }

.textlink
      {
       font-family:     Verdana, Arial;
       font-size:       9pt;
       color:           black;
       text-decoration: underline; 
      }

.textlink:hover 
      {
       color:           #FF0000;
      }

.link 
      {
       font-family:     Verdana, Arial;
       font-size:       9pt;
       color:           blue;
       text-decoration: underline; 
      }

.link:hover 
      {
       color:           red;
      }

.link_nobar 
      {
       font-family:     Verdana, Arial;
       font-size:       9pt;
       color:           blue;
       text-decoration: none; 
      }

.link_nobar:hover 
      {
       color:           red;
      }

.linklink
      {
       font-family:     Verdana, Arial;
       font-size:       9pt;
       color:           red;
       text-decoration: underline; 
      }

.linklink:hover 
      {
       color:           blue;
      }

.subject{
       font-family:      Times, Times New Roman;
       font-size:        13pt;
       color:            firebrick;
     }

.theorem{
       font-family:      Times, Times New Roman;
       font-size:        11pt;
       font-style:       italic;
       color:            #000000;
     }

.quote{
       font-family:      Times, Times New Roman;
       font-size:        11pt;
       font-style:       italic;
       color:            #000000;
     }

.source{
       font-family:      Times, Times New Roman;
       font-size:        11pt;
       font-style:       normal;
       color:            #888888;
     }

.mainExpand {
  		cursor:hand;
  		cursor:pointer;
  		font: bold .9em verdana, arial, helvetica, sans-serif;
		background-color: yellow;
	  }