/* Begin LaTeX Style */
.latex, .latex sub {
  font-size: 1em;
}
.latex sub, .latex sup {
  text-transform: uppercase;
}
.latex sub {
  vertical-align: -0.25em;
  margin-left: -0.1667em;
  margin-right: -0.125em;
}
.latex sup {
  font-size: 0.85em;
  vertical-align: 0.15em;
  margin-left: -0.36em;
  margin-right: -0.15em;
}
/* End LaTeX Style */
H1, H2 {
	color: WHITE;
}
H1 {
	margin: 5px;
	text-align: CENTER;
}
H2 {
	left: 31px;
	height: 56px;
	position: relative;
	margin-right: 21px;
	vertical-align: top;
z-index:-1;
	background: url('/images/header_mid.png');
	background-repeat: repeat-x;
}
H3 {
	text-align: CENTER;
}
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;
}
PRE.QUOTE
{
	padding: 10px;
	border-width: 1px;
	border-style: dashed;
	background-color: #F5F5B5;
	white-space: pre-wrap;       /* css-3 */
	white-space: -moz-pre-wrap;  /* Mozilla, since 1999 */
	white-space: -pre-wrap;      /* Opera 4-6 */
	white-space: -o-pre-wrap;    /* Opera 7 */
	word-wrap: break-word;       /* Internet Explorer 5.5+ */
}
PRE.XTERM
{
	padding: 10px;
	color: #FFFFFF;
	border-width: 1px;
	border-style: dashed;
	background-color: #000000;
}
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 .local-left,
TD.menu .right,
TD.menu .local-right {
	width: 31px;
	height: 31px;
}
TD.menu .middle,
TD.menu .local-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;
}

DIV#body A.external {
	background: url(/images/external-link.png) center right no-repeat;
	padding: 0 13px 0 0;
}
DIV#body A.mines {
	background: url(/images/mines-link.png) center right no-repeat;
	padding: 0 19px 0 0;
}
/* Search text box: */
DIV#body SPAN.search SPAN#text:before {
	vertical-align: top;
	content: url('/images/search_left.png');
}
DIV#body SPAN.search SPAN#text INPUT {
	margin: 0px;
	border: 0px;
	height: 31px;
	vertical-align: top;
	background: url('/images/search_mid.png');
}
DIV#body SPAN.search SPAN#text:after {
	height: 31px;
	vertical-align: top;
	content: url('/images/search_right.png');
}
/* Search submit: */
DIV#body SPAN.search SPAN#submit:before {
	margin-left: -20px;
	height: 31px;
	vertical-align: top;
	content: url('/images/menu_left_normal.png');
}
DIV#body SPAN.search SPAN#submit INPUT {
	margin: 0px;
	border: 0px;
	color: white;
	height: 31px;
	cursor: pointer;
	vertical-align: top;
	background: url('/images/menu_mid_normal.png');
}
DIV#body SPAN.search SPAN#submit:after {
	vertical-align: top;
	content: url('/images/menu_right_normal.png');
}


.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.normal-button .local-left {
	background: url('/images/menu-local_left_normal.png');
}
SPAN.normal-button .local-middle {
	background: url('/images/menu-local_mid_normal.png');
}
SPAN.normal-button .local-right {
	background: url('/images/menu-local_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');
}
SPAN.hilight-button .local-left {
	background: url('/images/menu-local_left_hilight.png');
}
SPAN.hilight-button .local-middle {
	background: url('/images/menu-local_mid_hilight.png');
}
SPAN.hilight-button .local-right {
	background: url('/images/menu-local_right_hilight.png');
}