body {
	color: black; background-color: white;
	font-family: verdana, tahoma, helvetica, arial, sans-serif;
	position: relative;
	margin: 0;
	padding: 0;
}
P { margin-left: 5%; margin-right: 5%; }
FORM { margin-left: 5%; margin-right: 5%; }
BLOCKQUOTE { margin-left: 8%; margin-right: 8%;
	font-style: italic; }
EM { font-weight: bold; }
H1 { margin-left: 5%; margin-right: 5%;
	font-family: helvetica, arial, sans-serif; font-weight: bold; }
H2 { margin-left: 5%; margin-right: 5%;
	font-family: helvetica, arial, sans-serif; font-weight: bold; }
DL { margin-left: 5%; margin-right: 5%; }
UL { margin-left: 5%; margin-right: 5%; }
PRE { margin-left: 5%; }
TABLE.prog { margin-left: 5%; margin-right: 5%; }

/* ###### don't decorate images with borders even if they are anchors ###### */

img {
  border: none;
}

.gen { margin-left: 5%; margin-right: 5%; }
.primeparagraph { font-size: large; }
.bigtext { font-size: x-large; }
.bigitalic { font-size: xx-large; font-style: italic; }
.bigbold { font-size: xx-large; font-weight: bold; }
.lbcstyle { font-family: sans-serif; font-weight: bold;
	font-style: normal; }
.orangeboxdiv { padding: 20px 20px 20px 20px;
		margin-left: 5%; margin-right: 5%;
		color: #e0930d;
                border-style: solid; border-width: 10px; }
.blackbox { padding: 20px 20px 20px 20px;
                border-style: solid; border-width: 10px; }
.blackboxdiv { padding: 20px 20px 20px 20px;
		margin-left: 5%; margin-right: 5%;
                border-style: solid; border-width: 10px; }

div#leftbar {
        position: absolute;
        top: 0px; left: 5px; width: 170px;
}

div#mainpanel {
        position: absolute; top: 0; left: 200px; right: 25px;
	border-left: 2px solid black;
}

div#bodytext {
        padding: 10px;
}


img.pagelogo {
        padding: 5px 5px 5px 5px;
}

div#leftlinks {
        padding: 5px 0px;
	margin: 10px;
}

div#leftlinks a {
        background: #c0c0c0;
        display: block;
	text-align: center;
        padding: 5px 10px;
        border-width: 0;
	color: black;
        text-decoration: none;
}

div#leftlinks a:hover {
        color: #c0c0c0;
        background: #606060;
}


IMG.leftfloat { float: left; padding-right: 20px; }
IMG.rightfloat { float: right; padding-left: 20px; }