BODY{ background-color: rgb(255,255,255);
      color: black;
      font-weight: plain;
            font-family: helvetica, sans-serif;
      text-align: justify; }
H1 { text-align: center;
     color: rgb(200,20,100);
         font-size: 160%;
         font-weight: bold; }
H1.bind { text-align: center;
     color: rgb(20,200,200); }
H2.lecture { text-align: right;
         color: rgb(250,20,20);
         font-size: 140%;
          font-style: italic; }
UL.index { color: rgb(0,60,200);
         font-weight: bold;
         font-size: 120%; }
UL.index LI{margin-left: 4em;
            margin-top: 0.5em;
            margin-bottom: 0.5em;} 
UL.index LI A:link { color: rgb(0,60,200); }
UL.index LI A:visited { color: rgb(120,0,60); }
DIV.address{ position: relative;
            color: rgb(0,120,140);
            font-style: italic; 
            font-weight: bold; }
H2 { text-align: center;
     color: rgb(160,20,160);
         font-size: 160%;
         font-weight: bold; }
SPAN.indexh2{ text-align: left;
     color: rgb(160,20,160);
         font-size: 130%;
         font-weight: bold; }
H2.lecture { text-align: right;
         color: rgb(250,20,20);
         font-size: 140%;
          font-style: italic; }
H3 { text-align: center;
     color: rgb(100,20,200);
         font-size: 140%;
         font-weight: bold; }
SPAN.indexh3{ text-align: left;
     color: rgb(100,20,200);
         font-size: 110%;
         font-weight: bold; }
H4 { text-align: left;
     color: rgb(200,20,100);
         font-size: 120%; 
         font-weight: bold;}
SPAN.indexh4 { text-align: left;
     color: rgb(200,20,100);
         font-size: 100%; 
         font-weight: plain;}
SPAN.reference { font-size: 110%; 
                font-weight: bold;
                 font-style: italic; }
UL.level1 LI{  margin-top: 0em;
               margin-bottom: 0em; }
UL.level2{  margin-top: 0.5em;
            margin-bottom: 0.5em; }
SPAN.listtitle1 { font-size: 110%; 
                 font-weight: bold;
                 color: rgb(100,160,220); }
SPAN.listtitle2 { font-size: 100%; 
                 font-weight: bold;
                 color: rgb(250,0,160); }
SPAN.emphasis {   font-weight: bold;
                 font-style: italic; }
SPAN.code { background-color: rgb(240,240,255);
            color: rgb(80,20,160);
            font-family: courier, monospace;
         font-weight: bold;
         font-style: normal; }
DIV.code { background-color: rgb(240,240,255);
           color: rgb(80,20,160);
            font-family: courier, monospace;
         font-weight: bold;
         font-style: normal;
                 margin-top: 0.8em;
               margin-bottom: 0.8em;
            margin-left: 0em; }
SPAN.compute { background-color: rgb(255,240,240);
            color: rgb(180,20,180);
            font-family: courier, monospace;
         font-weight: bold;
         font-style: normal; }
DIV.html { background-color: rgb(220,255,255);
           color: rgb(20,100,100);
            font-family: courier;
                 margin-top: 0.8em;
               margin-bottom: 0.8em;
            margin-left: 0em; }
SPAN.html { background-color: rgb(220,255,255);
           color: rgb(20,100,100);
            font-family: courier; }
BODY.menu{ margin: 0em;
         padding: 0em;
         border: none;
         background-color: rgb(200,20,100);
         font-weight: bold;
         font-size: 90%;
         font-family: helvetica, sans-serif;
         text-align: left; }
DIV.menuitem{ font: inherit;
              margin: 0em;
              border-bottom-width: 0.1em;
              border-top-width: 0em;
              border-left-width: 0em;
              border-right-width: 0em;
              border-color: rgb(254,254,254);
              border-style: groove; 
              padding-left: 0.2em;
              padding-bottom: 0.1em;
              padding-top: 0.1em; }
SPAN.menutitle{  color: rgb(180,254,254); }
DIV.menuseparation{ margin: 0em;
              border-bottom-width: 0em;
              border-top-width: 0em;
              border-left-width: 0em;
              border-right-width: 0em;
              background-color: rgb(254,254,254);
              border-color: rgb(255,255,255);
              border-style: solid;  }
DIV.menuitem A:link { color: rgb(255,255,255);
                      text-decoration: none;}
DIV.menuitem A:visited { color: rgb(255,255,255);
                      text-decoration: none;}
SPAN.practice A:link { color: rgb(0,200,180);
         font-weight: bold; }
SPAN.practice A:visited { color: rgb(0,200,180);
         font-weight: bold; }
SPAN.quote {  font-style: italic; }
SPAN.mark {  font-weight: bold; }
HR{ color: rgb(20,200,200); 
    padding: 0em; 
    margin: 0em; }
TH{  background-color: rgb(255,255,255);
      color: black;
      font-weight: bold;
            font-family: helvetica, sans-serif;}
TD{  background-color: rgb(255,255,255);
      color: black;
      font-weight: plain;
            font-family: helvetica, sans-serif;}