li {
  margin-bottom: 10px;
}
code {
  color:darkgreen;
}
body {
  width: 800px;
  background: white;
  padding-right: 20px;
  border-right: 40px solid lightgrey;
  margin: 0px;
  padding-left: 10px;
  border-bottom: 1px solid lightgrey;
  padding-bottom: 50px;
}
a {
	text-decoration: none;
}
img {
	display: block;
	margin: 10px;
	margin-left: auto;
	margin-right: auto;
}
.hidden {
	display: none;
}
.shown {
	background: lightyellow;
	border: 1px solid black;
	padding: 5px;
	margin: 10px;
}
.show {
	color: blue;
	cursor: pointer;
}
.nav {
	padding-top: 20px;
	padding-bottom: 20px;
}
h3 {
	padding-top: 15px;
}
pre, .code {
	background: lightyellow;
	border: 1px solid black;
	padding: 5px;
	margin: 10px;
}
a:visited {
	color: darkblue;
}