a {
  text-decoration: none;
  color: blue;
}
a:visited {
  color: darkblue;
}
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;
}

pre {
  margin-left: 20px;
  background: #FFFFAA;
  border: 1px solid black;
  padding-top: 15px;
  padding-bottom: 15px;
  padding-left: 5px;
}

#byline {
  position: relative;
  top: -20px;
  left: 5px;
  font-size: 10px;
}
#outline {
  font-size: 15px;
}
.section {
  font-size: 18px;
  font-weight: bold;
  padding-top: 20px;
}
.subsection {
  font-size: 18px;
  font-style: italic;
  padding-top: 10px;
}
#outro {
  font-size: 12px;
  font-style: italic;
  padding-top: 30px;
}

code {
  color:darkgreen;
}
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;
}