body {
	margin: auto;
	font-family: "Computer Modern Sans";
	max-width: 750px;
	padding: 10px;
}

h1,h2 {
	text-align: center;
}

#list {
	list-style-type: none;
	font-size: 1.3em;
}

#list li {
	display: inline-block;
	width: 24%;
	line-height: 2em;
}
#list a {
	text-decoration: none;
}

#controls {
	border: 1px solid #999;
	margin: auto;
	padding: 0 1em;
	background: white;
	width: 100px;
}

#size {
	width: 3em;
}

.example {
	margin-bottom: 3em;
}

#nav .download {
	text-align: center;
	font-size: 1.4em;
}

.download {
	font-family: 'Computer Modern Sans';
	margin-left: 1em;
	font-style: normal;
}

pre {
	font-size: 12px;
	width: 500px;
	background: #f0f0f0;
	margin: 0 auto;
	max-height: 10em;
	overflow-y: auto;
}