body {
	color: black;
	background-color: #ffffcc;
	margin: 5%;
	line-height: 150%;
}

pre {
	line-height: 120%;
	border-width: 1px;
	border-style: solid;
	padding: 1em;
	background-color: white;
}

p {
/*	text-indent: 1em; */
}

h1 {
	text-align: center;
	color: black;
	background-color: #ffccaa;
	padding: 0.1em;
	line-height: 120%;

	/* NN: to show background ribbon */
	margin-left: 0;
	margin-right: 0;
	border-width: 1px;
	border-color: #ffffcc;	/* dummy border */

	/* NN: border-width clears font-size and font-weight */
	font-size: 200%;
	font-weight: bold;
}

h2 {
	padding: 0.2em;
	border-color: green;
	border-width: thin 0 thin 0.5em;
	border-style: solid;
	line-height: 120%;

	/* NN: to show background ribbon */
	margin-left: 0;
	margin-right: 0;

	/* NN: border-width clears font-size and font-weight */
	font-size: 150%;
	font-weight: bold;
}

hr.weak {
	display: none;
}

td {
	line-height: 150%;
}

td ul {
	margin: 0;
	list-style-type: none;
}