/*   normal.css
 *   for GE0
 */
body {
	background:white;
	color:black;
	border-style: solid;
	border-color: #111234;
	border-width: 1px 1px 1px 1px;
}
h1 {
	color: #009bff;
	border-style: solid;
	border-color: #87CDFA;
	border-width: 1px 10px 1px 10px;
	padding: 0.3em 0em 0.2em 0.7em;
}
h2 {
	margin: 2em 1em 0.5em 1em;
	background: Blue;
	color:Linen;
	padding: 0.2em 0em 0.2em 0.5em;
}
h3{
	background: PapayaWhip;
	border-style: solid;
	border-color: #00dd6f;
	border-bottom-color: #00cc5e;
	border-width: 0px 0px 1px 5px;
	padding:  0.1em 0em 0.1em 0.5em;
	margin: 1em 0em 1em 0em;
}

code {
	font-size:medium;
	background:#161616;
	color: white;
}
pre{
    font-size:medium;
    background:#161616;
    color: white;
    padding: 0.5em 0.5em 0.5em 0.5em;
}
p { margin-top: 0.2em; margin-bottom: 0.2em }
p.new { margin-top: 1.5em; margin-bottom: 0.2em }

HR {margin-top: 1em;}

a:link { color:blue; background:white; fontWeight:bold}
a:visited { color: #242424; background: #eeeeff; fontWeight:bold}
a:hover { background:Linen; color: #ff1111 }

.menu{
	text-align: center;
	margin-left: 4em;
	margin-right: 4em;
	margin-bottom: 2em;
}

.indent{
	margin-left: 3em;
	margin-right: 3em;
}

OL{ margin: 1em 0em 1em 4em; }
.right{
	text-align: right;
	margin-right: 1.5em;
}
.center{
	text-align: center;
}
.left{
	text-align: left;
	margin-left: 30px;
}
.box{
	border-style:ridge; border-color:royalblue;
	border-width:5px;
	padding: 0.2em 0.5em 0.2em 0.5em;
	background: deepskyblue;
	margin-top: 1.5em;
}
.box2{
	border-style:ridge; border-color:white;
	border-width:5px; padding:2px;
	background:black;
	margin-top: 1.5em;
}

.sp1{
	border-style:ridge; border-color:white;
	border-width:2px 2px 3px 3px;
	padding-left:14px;
	font-family: Verdana;
	background: green;
	color: red;
}
.whitebox{
	border-style:double; border-color:white;
	border-width:6px 6px 6px 6px;
	padding:12px 12px 12px 12px;
}
.red{color:red}
.orange{color:orange}
.blue{background:blue;}
.white{color:white;}
dt { color: #010399; fontWeight: bold; }
dd { margin-bottom: 1em }
div.sideline{
	background: skyblue;
	border-style: solid; border-color: #44ff33;
	border-width: 0px 3px 0px 3px;
	padding: 0em 2em 0em 2em;
	margin-top: 1em;
}
em{
	font-weight:bold; color:#7777ff;
}
strong{
	font-weight:bold; color:#ff5555;
}