H1, H2 {
	color: WHITE;
}
H1 {
	margin: 5px;
	text-align: CENTER;
}
H2 {
	left: 31px;
	height: 56px;
	position: relative;
	margin-right: 21px;
	vertical-align: top;
	background: url('/images/header_mid.png');
	background-repeat: repeat-x;
}
PRE.VHDL
{
	padding: 10px;
	border-width: 1px;
	border-style: dashed;
	background-color: #FFF284;
}
PRE.CODE
{
	padding: 10px;
	border-width: 1px;
	border-style: dashed;
	background-color: #C0C0C0;
}
XMP.XTERM
{
	padding: 10px;
	border-width: 1px;
	border-style: dashed;
	background-color: #C0C0C0;
}
UL.spaced-list LI
{
	padding: 0px 0px 10px 0px;
}
DIV.header TABLE {
	border-collapse: collapse;
}
DIV.header TABLE TD {
	margin: 0px;
	border: 0px;
	padding: 0px;
	border-style: none;
}
DIV.header {
	margin: 0px;
	padding: 0px;
	color: #FFFFFF;
	background-color: #000000;
}
TD.menu IMG {
	border: 0px;
}
TD.menu A,
TD.menu A:link,
TD.menu A:visited,
TD.menu A:active,
TD.menu A:hover {
	color: WHITE;
	text-decoration: none;
}
TD.menu A:active {
	outline: none;
}

TD.menu .left,
TD.menu .right {
	width: 31px;
	height: 31px;
}
TD.menu .middle {
	color: WHITE;
	height: 25px;
	padding-top: 6px;
	vertical-align: top;
	white-space: nowrap;
	display: inline-block;
}
TD.menu SPAN {
	display: inline-block;
}
TD.menu DIV#buttons {
	padding-left: 25px;
	white-space: normal;
}

SPAN.normal-button,
SPAN.hilight-button {
	margin-left: -20px;
	margin-bottom: 5px;
}

DIV.body {
	margin: 10px;
}
BODY {
	margin: 0px;
}

.preload {
	display: none;
}

H2:before {
	left: -31px;
	position: relative;
	padding-right: 10px;
	vertical-align: -20px;
	content: url('/images/header_left.png');
}
SPAN.normal-button .left {
	background: url('/images/menu_left_normal.png');
}
SPAN.normal-button .middle {
	background: url('/images/menu_mid_normal.png');
}
SPAN.normal-button .right {
	background: url('/images/menu_right_normal.png');
}
SPAN.hilight-button .left {
	background: url('/images/menu_left_hilight.png');
}
SPAN.hilight-button .middle {
	background: url('/images/menu_mid_hilight.png');
}
SPAN.hilight-button .right {
	background: url('/images/menu_right_hilight.png');
}