body {
	font-family: times, serif; 
	margin: 2em;
}

h1 {
	font-family: tahoma, arial, sans-serif; 
	font-size: 1.5em; 
	font-weight: bold; 
	text-align: center; 
	margin-top: 0;
	counter-reset: section;
}

h1.continuation {
	font-size: 1.2em;
	text-align: right;
	margin-top: 0;
}

@media print {
	h2 {
		font-family: tahoma, arial, sans-serif; 
		font-size: 1.2em; 
		font-weight: bold; 
		margin-top: 0.5em; 
		page-break-before: always;
	}
	.first {
		page-break-before: auto;
	}
	.toc {
		display: none;	
	}
	.internalLink {
		display: none
	}
}

@media screen {
	h2 {
		font-family: tahoma, arial, sans-serif; 
		font-size: 1.2em; 
		font-weight: bold; 
		margin-top: 2em; 
	}
}

h3 {
	font-family: tahoma, arial, sans-serif; 
	font-size: 1.0em; 
	font-weight: bold; 
	font-style: italic; 
	margin-top: 1.8em;
	margin-bottom: 0;
}

ol {
	margin: 0.5em; 
	padding: 0;
	padding-left: 1.5em; 
	list-style-type: decimal; 
	list-style-position: outside; 
	list-style-image: none;
}

ol ol {
	list-style-type: lower-alpha; 
	list-style-position: outside; 
	list-style-image: none;
}

ol ol ol {
	list-style-type: lower-roman; 
	list-style-position: outside; 
	list-style-image: none;
}

ul {
	margin: 0; 
	padding: 0;
	padding-left: 2em;
}

li {
	margin-bottom: 0.25em; 
	margin-top: 0.25em;
}

blockquote {
	margin-left: 2em;
}

a {
	text-decoration: none;
}

a:hover {
	text-decoration: underline;
}

div.section {
	margin-left: 0in;
}

div.highlight {
	font-style: italic;
}

div.highlight div {
	margin: 0.5em 0 0.5em 0;
	padding: 0.5em;
}

div.algorithm:before {
	content: "Algorithm: "; 
	font-weight: bold;
}

div.pseudocode:before {
	content: "Pseudocode: "; 
	font-weight: bold;
}

div.algorithm div {
	background-color: #F0F0F0;
}

div.pseudocode div {
	background-color: #F0F0F0;
	font-style: normal;
}

div.concept:before {
	content: "Concepts: "; 
	font-weight: bold;
}

div.concept div {
	font-style: normal;
	background-color: #F0F0F0;
}

div.discussion:before {
	content: "Questions for discussion: "; 
	font-weight: bold;
}

div.discussion div {
	background-color: #E5FAFA;
}

div.technique:before {
	content: "Syntax: "; 
	font-weight: bold;
}

div.technique div {
	font-style: normal;
	background-color: #F0F0F0;
}

div.example:before {
	content: "Example: "; 
	font-weight: bold;
}

div.example div {
	font-style: normal;
	background-color: #F8F8D0;
}

.code {
	font-family: courier, monospace; 
	font-size: 0.85em; 
	font-style: normal; 
	white-space: pre;
}

.formula {
	font-family: times, serif; 
	font-style: italic;
}

.formula sup.fraction {
	font-size: 1.3em;
}

.formula sub.fraction {
	font-size: 1.3em;
}

span.foreignTerm {
	font-style: italic;
}

span.label {
	font-style: italic;
}

span.control {
	font-weight: bold;
}

span.comment {
	color: #708090;
}

table {
	table-layout: fixed;
	width: 100%
}

td.prev {
	font-family: tahoma, arial, sans-serif;
	text-align: left;
	width: 33%;
}

td.toc {
	font-family: tahoma, arial, sans-serif;
	text-align: center;
	width: 34%;
}

td.next {
	font-family: tahoma, arial, sans-serif;
	text-align: right;
	width: 33%;
}

.pseudocodeVariable {
	font-weight: bold;
	color: #000080;
}

.pseudocodeTask {
	font-style: italic;
}

.pageBreakBefore {
	page-break-before: always;
}

.noPageBreakBefore {
	page-break-before: auto;
}

h3 code {
	font-size: 1.25em;
}