html, body {
	color: black;
	background-color: white;
}

.header {
	text-align: center;
	padding-bottom: 1ex;
	border-bottom: 2px solid #999999;
}

.footer {
	border-top: 2px solid #999999;
	font-style: italic;
}

tt, kbd {
	font-size: 100%;
}

code {
	font-size: 100%;
	white-space: nowrap;
}

pre code {
	white-space: pre;
}

table, tr, th, td {
	border: 1px solid black;
	margin: 0px 0px;
	padding: 0.5ex 0.5em;
	border-collapse: collapse;
}

.edit {
	color: red;
	font-weight: bold;
}

.edit_note {
	color: red;
	font-size: smaller;
	font-weight: bold;
}

ol, ul {
	margin-top: 2ex;
	margin-bottom: 2ex;
}

dt {
	font-weight: bold;
}

span.math {
	white-space: nowrap;
}

div.math {
	margin: 2ex 2em 2ex 2em;
	white-space: nowrap;
}

pre, samp, kbd, code, tt {
	font-family: monospace;
}

h1, h2, h3, h4, h5, h6 {
	page-break-after: avoid;
	font-family: Verdana, sans-serif;
}

h1 code, h2 code, h3 code, h4 code, h5 code, h6 code {
	font-family: Verdana, sans-serif;
}

table.pipeline {
	border: none;
}

table.pipeline tr {
	border: none;
}

table.pipeline th {
	border-top: none;
	border-left: none;
	border-right: none;
	border-bottom: 1px solid black;
	font-size: smaller;
}

table.pipeline td {
	empty-cells: show;
	width: auto;
	text-align: center;
	border-left: none;
	border-right: none;
	border-top: 1px dashed black;
	border-bottom: 1px dashed black;
}

table.pipeline td.comment {
	border-top: 1px solid black;
	border-bottom: 1px solid black;
}

table.pipeline td.instr {
	font-family: "Courier New", Courier, monospace;
}

a.ut_head {
	color: #cc5500;
	text-transform: uppercase;
	letter-spacing: 0.2em;
	text-decoration: none;
}

a.ece_head {
	color: black;
	font-variant: small-caps;
	text-decoration: none;
}

.gui {
	font-weight: bold;
	white-space: nowrap;
}

ol.toc {
	list-style-type: none;
}

ol.toc ol {
	list-style-type: none;
}

ol ol {
	margin-top: 0ex;
	margin-bottom: 0ex;
}

.nav_path {
	font-size: 110%;
	font-family: Verdana, sans-serif;
	margin-top: 0.5ex;
}

.nav_path a {
	color: black;
	margin-left: 0.5em; margin-right: 0.5em;
}