@import url(default.css);

body {
	margin-left: 2%;
    width: 90%;
    color: black;
    line-height: 1.3em;
    font-family:  Verdana, sans-serif;  
	font-size: small;
}

#menu {
    width: 180%;
    line-height: 0em;
}

#menu ul {
	white-space: nowrap;
    color: #336666;
	padding-left: 0em;
	padding-right: 0em;
	padding-top: 0em;
	padding-bottom: 0.3em;
}

#menu li {
    display: inline;
    list-style-type: none;
    padding-left: 0em;
    padding-right: 0.8em;
}

#menu li a {
    font-size: 100%;
	font-weight: bold;
} 

#menu li a:hover {
    color: #999966;  
}

a:hover {
    color: #999966;
}

p.abstract {
	font-size: 90%;
	padding-top: 5pt;
	padding-bottom: 10pt;
	padding-left: 20pt;
}

pre.line-block {
	font-family:  Verdana, sans-serif;
	font-size: 100%;
	padding-left: 5pt;
}


h1 {
	font-size: 120%;
	font-weight: bold;
	color: #7a5ada;
	font-weight: bold;
}

h2 {
	font-size: 100%;
	font-weight: bold;
	color: #7a5ada;
	font-weight: bold;
}


h3 {
	font-size: 90%;
	font-weight: bold;
	color: #7a5ada;
	font-weight: bold;
}

h4 {
	font-size: 100%;
	font-style: italic;
	color: #7a5ada;
	font-weight: bold;
}

h5 {
	font-size: 90%;
	font-style: italic;
	color: #7a5ada;
	font-weight: bold;
}

table { 
	border: none; 
}

tr { 
	border: none;
}

td { 
	border: none; 
}

dt { 	
	font-weight: bold; 
     	padding-top: 7pt; 
}

.contents {
	color: black;
}

.altmenu {
	font-size: 90%;
	font-weight: bold;
	font-family:  Verdana, sans-serif; 
	color: #000000;
	padding-left: 1.0em;
	padding-right: 1.0em;
}

.alttext {
	font-size: 0.65em;
	font-family:  Verdana, sans-serif;
	color: #000000;
}

.title { 
     position: absolute;
	 clip: rect(0px, 0px, 0px, 0px);
	 visibility: hidden;
}

.infotext {
	font-size: 90%;
}

.dochead {
	font-size: 120%;
	font-weight: bold;
	color: #7a5ada;
	padding-bottom: 0.75em;
}

h2.subtitle {
	  text-align: left;
}