body {
  background-color: #BBBBEE;
}

div.maintext {
  background-color: white;
  max-width: 400px;
	padding: 20px;
}

pre.interactive {
	background-color: white;
	width: 80ex;
}

div.source {
	border-top: 1px solid black;
	border-bottom: 1px solid black;
	background-color: pink;
	width: 90ex;
}

div.source p {
	font-style:italic;
	font-size: 80%;
	text-align: right;
}

h2 {
  background-color: #cccccc;
}

h3 {
  background-color: #eeeeee;
}

p.author {
	text-align: right;
}