.keyword {
	color: blue;
	font-weight: normal;
}

.comment {
	color: green;
	font-weight: normal;
	font-style: normal;
}

.string {
	color: maroon;
	font-weight: normal;
	font-style: normal;
}

.preprocessor {
	color: teal;
	font-weight: normal;
	font-style: normal;
}

body {
	line-height: 150%;
	padding: 1ex;
}

h1 {
	text-align: center;
}

h2 {
	color: black;
	background-color: #ccc;
	padding: 1ex;
}

h3 {
	border-bottom: black 1px solid;
	padding-left: 1em;
}

p {
	margin-left: 2em;
}

pre {
	color: black;
	background-color: #ddd;
	line-height: 100%;
	border: black 3px double;
	padding: 1ex;
	margin-left: 2em;
}

address {
        font-size: smaller;
}