* { margin: 0;
	padding: 0;
	line-height: 1.2 }

body { margin: 0 5% }

div.navbar { border: 1px solid green;
	background: #cfc;
	text-align: center;
	clear: left;
	vertical-align: middle }

div.google { text-align: center }

div#sideView {
	position: absolute; top: auto; right: auto; bottom: auto; left: 7%;
	margin-top: 0;
	width: 250px; border: 1px solid white }

div#mainView { margin-top: 0; margin-left: 280px;
		width: auto; border: 1px solid white }

div#allContents { padding: 0 1em;
	border: 1px solid green }

h1 { margin: 1em 0;
	color: green;
	text-align: center; }

h2 { margin: 2em 0 1em;
	padding: .3em 0 .1em; padding-left: .5em;
	border-top: 4px solid green;
	border-bottom: 1px solid green;
	background: #cfc; color: green;
	font-family: Georgia, Helvetica, Arial, sans-serif }

h3 { border-top: 1px solid green }

h3,h4,h5,h6 { margin: 2em 0 1em;
	font-weight: bold;}
h5,h6 { display: run-in }

p { 
	margin: 1em 0;
	line-height: 1.5;
	text-indent: 1em }
div.navbar p { margin: .5em 0; text-indent: 0; line-height: 1 }

blockquote { margin: 1em; margin-left: 2em;
	padding: 1em;
	border: 2px dashed silver }

pre, code {
	font-family: monospace; font-size: 1em }
pre { margin: 1em 0 1em 3em;
	padding: .5em;
	border: 1px solid gray;
	background: #eee;
	overflow: auto }
pre.HTML { border: 1px solid maroon;
	background: #ffe }
pre.CSS { border: 1px solid green;
	background: #efe }

table { margin: 1em }
table.prop { border: 1px solid green;
	font-family: monospace }
table.prop th, table.prop td { 
	padding: 0 1em;
	text-align: center }
table.prop th { 
	background: #efe }

.fig, .sample { 
	margin: 1em auto;
	padding: 1em;
	border: 1px solid black }
.sample p { text-indent: 0 }
table.border { 
	margin: 1em auto;
	border: 1px solid black }
table.border td, table.border th { padding: 0 .5em; }
table.border caption { text-align: center; vertical-align: top; margin: 0 auto }
table.border th { border: 1px solid black;
	background: #ddd }
table.border td { border: 1px solid black }

ul,ol,dl { margin: 1em 0 1em 3em }
ol ol, ul ul, ul ol, ol ul { margin: 0 2em }

dl { margin: 1em 0 1em 3em }
dt { margin-top: .5em;
	font-weight: bold }
dd { margin-left: 2em;
	line-height: 1.3;
	text-indent: 1em }

address { margin: 1em;
	text-align: right }

.note1 { color: red }
.note2 { color: blue }
.note3 { color: green }

a:link, a:visited { text-decoration: underline;
	outline: hidden }
a:hover { text-decoration: none;
	background: #ffc; color: red }
a:hover img { border-color: red }

hr { display: none }

div#mainView ol { counter-reset: item }
div#mainView li { display: block }
div#mainView li:before { content: counters(item, "-") ". "; counter-increment: item }