body {
                margin: 20px;
                padding: 0px;
                background: #989eb2;
                font: 16px arial, sans-serif;
		color: white;
	 }
#expl {
	width: 540px;
	font: 14px arial, sans-serif;
          margin-left: auto;
          margin-right: auto;

}
        pre {text-indent: 30px}
	.marker {
	font-size: 10pt;
	font-face: arial;	
	}
	#main {
	  width: 800px;
	  margin-left: auto;
	  margin-right: auto;
	}
	#login {
	  border: 1px solid black;
	  background: #c0c0c0;
	  padding: 20px;
	  width: 250px;
	  margin-top: 50px;
	  margin-left: auto;
	  margin-right: auto;
	}
	.result,.results {
		background: #fff;
		padding: 15px;
		border: 2px solid #cc0000;
		font-weight: bold;
		text-align: left;
	}
        .result {
           font-weight: normal;
           color: black;  
	}
        .result td {
         border-bottom: 1px solid black; 
         padding: 5px; 
	}
        #tabmenu {
                color: #000;
                border-bottom: 2px solid black;
                margin: 12px 0px 0px 0px;
                padding: 0px;
                z-index: 1;
                padding-left: 10px }

        #tabmenu li {
                display: inline;
                overflow: hidden;
                list-style-type: none; }

        #tabmenu a, a.active {
                color: #DEDECF;
                background: #898B5E;
                font: bold 1em "Trebuchet MS", Arial, sans-serif;
                border: 2px solid black;
                padding: 2px 5px 0px 5px;
                margin: 0;
                text-decoration: none; }

        #tabmenu a.active {
                background: #ABAD85;
                border-bottom: 3px solid #ABAD85; }

        #tabmenu a:hover {
                color: #fff;
                background: #ADC09F; }

        #tabmenu a:visited {
                color: #E8E9BE; }

        #tabmenu a.active:hover {
                background: #ABAD85;
                color: #DEDECF; }

        #content {font: 0.9em/1.3em "bitstream vera sans", verdana, sans-serif;
                text-align: justify;
                background: #ABAD85;
                padding: 20px;
                border: 2px solid black;
                border-top: none;
                z-index: 2;     }

        #content a {
                text-decoration: none;
                color: #E8E9BE; }

        #content a:hover { background: #898B5E; }