BODY { 
  background-color: #600000;
  color: #F0F0F0;
  background-image: url(gfx/turingred.jpg);
}
a:link {color: #E0E080}
a:visited {color: #C8C860}
a:hover {color: #FFFF80}


DIV.topbar, DIV.footer { 
  border: outset 0.5em ; 
  border-color: #EE6666 #CC1111 #CC6666 #EE4444 ; 
  background-color: #EE7777 ;
  color: #000000;
}

DIV.topbar { 
  padding: 0.25em;
  padding-left: 0.5em;
  margin: -0.5em -0.5em -0.5em -0.5em;
}

DIV.topbar A { 
  text-decoration: none;
}
DIV.topbar .tiny { 
  font-size: xx-small;
  vertical-align: middle;
}

DIV.topbar .linksection {  margin-right: 3em;  }

DIV.topbar .globallinks { float: left; text-align: left; margin-right: 2em;}
DIV.topbar .locallinks { float: left; text-align: left; margin-right: 2em; }
DIV.topbar .subdirlinks { text-align: left;}

      DIV.footer {
        padding: 0.5em;
        padding-left: 1em;
  margin: -0.5em -0.5em -0.5em -0.5em;
      }

      DIV.sidebar {
        float: right;
        text-align: left;

        padding: 1em;
        border: outset 0.5em ; 
        border-color: #9999FF #1111DD #9999DD #7777FF; 
	color: #000000;
        background-color: #AAAAFF ;
      }

      DIV.content {
  padding-top: 1em;
        padding-left: 2em;
	padding-right: 2em;
      }
      
.box, .lightbox, .subbox { 
  border: 1px solid; 
  border-color:  #FF0000; 
  padding-left: 15px;
  padding-right: 15px;
  margin-bottom: 1em;
  margin-left: 1em;
  margin-right: 1em;
 }
DIV.box { 
  background-color: #DD6666;

}

.subbox { 
  margin-top: 1em;  
  padding-top: 15px;
  padding-bottom: 15px;
  background-color:   #DDDDFF;     
}




DIV.lightbox,.lightbox { 
background-color: #EE9999;

 }



.boxtitle, 
DIV.lightbox H1,
DIV.lightbox H2   { background-color: #FF6666;
  margin-top: 0em;
  border-bottom: 1px solid #EE4444; 
  font-weight: bold;
  text-indent: 0.5ex;
  margin-left: -15px;
  margin-right: -15px;
  text-indent: 1em;
}

DIV.internal_link_section { 
  align: center;
  margin-left: 2em;
  margin-right: 2em;
  margin-bottom: 1em;
  margin-top: 1em;
  background-color: #DD8888 ;
  border: 1px dashed;  

  padding-bottom: 1em;
  padding-top: 1em;
 }


DIV.smallbox { border: 1px solid; margin-bottom: 1em; width: 75%}
DIV.smallboxtitle  { background-color: #AAAAFF ; border-bottom: 1px solid; font-weight: bold }



DT  { font-style: oblique; padding-top: 0.2em }



IMG.farright { float: right; padding-right: 1em;  }




.right {
  text-align : justify; 
  margin : 0; 
  padding-left : 1%;
  padding-right : 1%;
  
  float: right;
  width : 45%; 
  
}

.left {
  text-align : justify; 
  margin : 0; 
  padding-left : 1%;
  padding-right : 1%;
  
  width : 45%; 
  float : left; 
}

.clear { 
 clear: both;
 }