body {
	margin-left:5%; margin-right:5%;
	font-family:verdana,arial,helvetica,sans-serif;
}
pre {
	margin: 0 10px 0 10px;
	padding: 10px;
	border: thin solid Green;
	background: #ffffdd;
}
img {
	padding-top:10px; padding-bottom:10px;
}
p {
	margin: 8px 0 8px 0;
}
i {
	background:white;
}
li {
	margin: 5px 0 5px 0;
}
code {
	font-weight:bold; font-size:120%; color:#090; background:#fff;
}
b {
	color: #800;
}
a:link {
	background-color: white; color: blue; }
a:visited {
	background-color: white; color: purple;}
a:hover {
	background-color: white; color: fuchsia;}
a:active {
	background-color: yellow; color: red;}
.blue {
	color:#000; background:#BDF; padding:2px 10px 3px 10px;
	border-top: thin solid Blue;
	border-bottom: thin solid Blue;
	font-family: "Georgia", "New York", serif;
	font-style: italic;
}
.nav {
	text-align: center;
}
.nav ul {
	list-style-type: none;
	margin: 20px;
	padding: 0;
}
.nav li {
	display: inline;
}
.nonav {
	padding: .2em 1em;
	border: thin solid #fff;
	color:#ccc; background:#fff;
}
.nav a{
	padding: .2em 1em;
	text-decoration: none;
	background: #BDF; color: #007;
	border: thin solid Blue;
}
.nav a:visited {
	background: #BDF; color: #007;
}
.nav a:active {
	background: #BDF; color: #007;
}
.nav a:hover {
	background: #00A; color: #BDF;
}
.no-margin {
	margin: 0;
}
.no-margin-tb {
	margin-top:0;
	margin-bottom:0
}
.no-padding {
	padding: 0;
}
p#valid {
	margin: .2em;
	text-align:center;
}
#toc ol li {
	margin:0;
}
#toc p {
	padding-left: 20px;
	margin:0;
}
#toc a {
	font-family: "Georgia", "New York", serif;
	font-size: 140%;
	text-decoration: none;
	font-weight: normal;
	font-style: italic;
}
#toc a:link {
	background-color: white; color: blue;
}
#toc a:visited {
	background-color: white; color: blue;
}
#toc a:active {
	background-color: white; color: blue;
}
#toc a:hover {
	background-color: blue; color: white;
}
#red {
	background-color: white; color: red;
}
#green {
	background-color: white; color: green;
}
#blue {
	background-color: white; color: blue;
}
#pointer {
	vertical-align: middle;
}
.new {
	background-color: #cfc; color: black;
}
.exercise {
	margin: 0 10px 0 10px;
	padding: 10px;
	border: thin solid #800;
	background: #fee;
	font-family: cursive;
}
td {
	padding: 0 10px;
	}
.width400 {
	width: 400px;
	vertical-align: middle;
}
.center {
	margin-left: auto; margin-right: auto;
}
.center_text {
	text-align: center;
}
#bb {
	border: thin solid Teal;
	padding: 5px 10px 7px 10px;
}
#trick {
	text-align: center;
	margin: 15px 0 0 0;
}
#trick img {
	border: thick inset Yellow;
	margin: 0;
	padding: 0;
}
#trick a:link {
	margin: 0;
	padding: 0;
}
#trick a:hover {
	margin: 0;
	padding: 0;
}
#trick a:active {
	margin: 0;
	padding: 0;
	background: white;
}