.red { color: #ff0000; font-weight: bold }

body {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	background-color: #FFFFFF;
	margin-right: 10em;
	margin-left: 10em;
	font-size: 11px;
	margin-top: 5ex;
	line-height: 150%;
	width: 600px;
}


h2 {
	color: #999900;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	line-height: 120%;
	font-size: 24px;
}

h3 {
	color: #525252;
	font-variant: normal;
	font-weight: bolder;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	text-transform: none;
	margin-bottom: -5px;
	margin-top: 3ex;
	line-height: 140%;
	font-size: 16px;
}

h4 {
	font-size: 12px;
	margin-bottom: -1ex;
	margin-top: 2ex;
}

h5 {
	color: black;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	padding-top: 2ex;
}

td {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	background-color: #FFFFFF;
	margin-right: 10em;
	margin-left: 10em;
	font-size: 11px;
	margin-top: 5ex;
	line-height: 130%;
}

.td_intro {
	background-color: #FFFF99;
}

.td_introhead {
	background-color: #FFFF00;
}

.td_elec {
	background-color: #CCFFCC;
}

.td_elehead {
	background-color: #99CC33;
}

.td_knuth {
	background-color: #A1DCFF;
}

.td_knuthead {
	background-color: #0099FF;
}

a:link {
	color: black;
	background-color: #FFFF00;
}

a:visited {
	color: black;
	background-color: #FFFF00;
}

a:active {
	color: black;
	background-color: #FFFF00;
}

a:hover {
	background:#FFFF00;
	text-decoration: underline;
}

.tid {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: x-small;
	color: #000000;
	text-align: right;
}

.tidblock {
	background-color: #79C075;
}

li {
	list-style-position: outside;
	list-style-image: none;
	list-style-type: disc;
}

.subsection {
	margin-left: 3em;
}