@font-face {
    font-family: isabelle;
    src: url('IsabelleText.ttf'), url('IsabelleText.eot');
}

.highlight {
	background-color: #f0f0f0;
	margin-left: 4%;
	margin-right: 5%;
	padding-left: 4ex;
	padding-right: 4ex;
	padding-top: 0.5ex;
	padding-bottom: 0.5ex;
	border-radius: 1ex;
}

.highlight pre {
	font-family: isabelle, Fallback, fixed;
	overflow: auto;
}

body {
	font-family: sans-serif;
	font-size: smaller;
}

h1 {
	margin-top: 3ex;
	margin-bottom: 2ex;
	font-size: xx-large;
	text-align: center;
}

h2 {
	font-size: large;
	margin-top: 3ex;
	margin-left: 2%;
}

p {
	margin-left: 4%;
}

a { text-decoration: underline; color: #404040; }
a:visited { color: #606060; }
a:hover { color: #e0e0e0; }
a:active { color: #000000; }

.top {
	margin-left: -2%;
}

.footer {
	text-align: right;
	margin-right: 2%;
	margin-top: 5ex;
	font-size: smaller;
	color: #808080;
}

#logo {
	float: right;
	margin-top: -6ex;
	margin-right: 8%;
}

#logo img {
	width: 141px;
	height: 124px;
}