body { 
	margin:15px 15px; 
	padding:0;
	font: 1.0em Helvetica, Arial, sans-serif; 
	line-height: 1.4em; 
}

h1 {
	line-height: 1em; 
	color: #008833;
	width:80%;
	margin: 0.5cm;
}

h3 {
	line-height: 1em; 
	color: #008833;
}

h4 {
	line-height: 0.1em; 
	margin-bottom: 0px;
	color: #008833;
}

h4m {
	font-family:monospace;
	font-size:135%;
	font-weight: bold;
	line-height: 1em; 
	color: #008833;
}

h5 {
	line-height: 0.1em; 
	margin-bottom: 0px;
	color: #008833;
}

section {
	float: right;
	margin: 0 1.5%;
	width: 73%;
}

aside {
	float: left;
	margin: 0 1.5%
	width: 20%;
}

code {
	font-size: 120%;
	color: #002288;
}

.content { 
	margin: 0 auto; 
	padding: 0; 
	border-left:6px solid #000;
	border-right:6px solid #000;
}

rep {
	background-color: #dcdcdc; color: red;
}

p.label {
	margin: 0 0 5px 0; 
	padding: 0; 
	font-size: 85%;
	text-align:center;
	color: #000000;
}

p.code {
	margin-left: 0.5cm;
	font-family: monospace;
}

tr:hover {
	background-color: #e5e5e5
}

li:not(:last-child) {
	margin-bottom: 8px;
}

a.button {
	-moz-appearance: button;
	appearance: button;
	text-decoration: none;
	color: #FFFFFF;
	background-color: inherit;
	vertical-align:-0.8em;
}

a.toc {
	color: #0000CC;
	text-decoration:none;
	font-weight: bold;
}

a.tocS {
	color: #008833;
	text-decoration:none;
	font-weight: bold;
}
	
a.toc:hover {
	color: #007722;
}

a.next {
	background-color: #209900;
	color: #FFFFFF;
	text-decoration:none;
	font-weight: bold;
	text-align:center;
	width:10em;
	display:inline;
	cursor: pointer;
	padding:10px;
	float: right;
}

a.prev {
	background-color: #209900;
	color: #FFFFFF;
	text-decoration:none;
	font-weight: bold;
	text-align:center;
	width:10em;
	display:inline;
	cursor: pointer;
	padding:10px;
	float: left;
}

div.myButton {
	background-color: #209900;
	text-align:center;
	width:20em;
	height:3em;
	margin:0px auto;
	display:block;
	cursor: pointer;
}

.Note {
    width: 90%;
    background-color: lightgray;
    margin:10px;
}

.Note p {
	margin: 8px;
}

.Note h4 {
	margin: 8px; 0px; 0px; 8px;
}

.Note button {
	margin: 8px; 0px; 0px; 8px;
}

button.notebutton {
	background-color: lightblue;
	width: 2em;
	height: 2em;
	border: solid transparent;
}

button.notebutton:hover {
	background-color: lightgreen;
	width: 2em;
	height: 2em;
	border: solid #007722;
}

button.notebuttonNS {
	background-color: lightblue;
	border: solid transparent;
}

button.notebuttonNS:hover {
	background-color: lightgreen;
	border: solid #007722;
}

td.tt {
	font-family:monospace;
	font-size:120%;
	color: #002288;
}