code {font-family:monospace}
  pcode {font-family:monospace; background: #f0f0ff; border: thin solid black; margin-left:1cm; 
         margin-right:1cm; padding:0.1cm}

  pre {font-family:monospace; background: #f0f0ff; border: thin solid black; margin-left:1cm; 
         margin-right:1cm; padding:0.1cm}

h6 
{
   width: 860px;
   height: 100px;
  color: #EEEEEE;
	a:link {color:#EEEEEE;}
	a:visited {color:#EEEEEE;}
	a:hover {color:#EEEEEE;}
	a:active {color:#EEEEEE;}  
  font-size: 1.4em;
  background-position:center;
  background-color: #444444;
    -moz-border-radius: 15px;
  border-radius: 15px;
 

}

a.fill-div {
	
    display: inline-block;
    height: 100%;
    width: 100%;
    color:inherit;
}

h2 
{
  color: #EEEEEE;
  font-size: 1.2em;
  padding: 1em 2em 1em 2em ;
  background-color: #444444;
    -moz-border-radius: 15px;
  border-radius: 15px;
}
h3 
{
  color: #EEEEEE;
  font-size: 1.1em;
  padding: 0.4em 2em 0.4em 2em ;
  background-color: #666666;
    -moz-border-radius: 15px;
  border-radius: 15px;
}

h4 
{
	width:800px;
  color: #EEEEEE;
  font-size: 1.1em;
  padding: 0.4em 2em 0.4em 2em ;
  background-color: #666666;
    -moz-border-radius: 15px;
  border-radius: 15px;
}

h5
{
		background-color:#999999;
			color: #444444;
			font-size:0.8em;
		  padding: 0.4em 2em 0.4em 2em ;
		  background-color: #DDDDDD;
		    -moz-border-radius: 10px;
		  border-radius: 10px;
		  
}


.popbox {
    display: none;
    position: absolute;
    z-index: 99999;
    width: 500px;
    padding: 10px;
    background: #EEEFEB;
    color: #000000;
    border: 1px solid #4D4F53;
    margin: 0px;
    -webkit-box-shadow: 0px 0px 5px 0px rgba(164, 164, 164, 1);
    box-shadow: 0px 0px 5px 0px rgba(164, 164, 164, 1);
}
.popbox h50
{
    background-color: #4D4F53;
    color:  #E3E5DD;
    font-size: 14px;
    display: block;
    width: 100%;
    margin: -10px 0px 8px -10px;
    padding: 5px 10px;
}


div.authors
{
  color: #333333;
  font-size:1em;
}

div.subsection
{
  color: #555555;
  font-size:1.2em;
  font-weight: bold;
  padding: 0.4em 0em 0.4em 0em ;
}

body 
{
	color: #333333;
	font-size:16px;
	width:850px;
	margin-left: auto;
	margin-right: auto;
	background-color: #FFFFFF;
	font-family: Arial, Helvetica, sans-serif;
	line-height: 1.20;
}

li 
{
     /* margin-left: 0;
     margin-right: ; */
    margin-top: .5em;
    margin-bottom: .5em;
}
ol 
{
   /* margin-left: 0;
   margin-right: 10%; */
   margin-top: .5em;
   margin-bottom: .5em;
}