body, td {
	background: white;
	color: black;
	vertical-align: top;
	margin: 2ex;
}

tt, pre {
	font-family: monospace;
}
pre {
	font-size: 10pt;  /* to make it fit a narrow column better. */
	padding-left: 2ex;
	background: #DDDDDD;
	overflow: auto;
}
/*
a:hover {
	text-decoration: underline;
}
*/
div.header {
	text-align: center;
}
h1 {
	font-size: 190%;
	/*text-transform: lowercase;*/
	margin-top: 0;
	margin-bottom: 0;
}

div.index {
	xborder: solid 1px gray;
	font-size: 80%;
	margin: 3ex;
	margin-right: 5ex;
	padding: 1ex;
	float: right;
	background: #eee;
}
ul.index {
	margin: 0;
	margin-left: 1ex;
	padding-left: 1ex;
	/*border-left: solid 1px gray;*/
}
li.index {
	padding-left: 1ex;
  	padding: 0;
	margin: 0;
	list-style-type: upper-alph;
}
.index a {
	text-decoration: none;
}

.content {
	text-align: justify;
	padding: 0 3ex;
	margin: 0 auto;
	max-width: 70ex;
	background: white;
	color: black;
}

h2 {
	font-size: 130%;
	font-weight: normal;
	padding-left: 1ex;
	/*text-transform: UPPERCASE;*/
	border-bottom: solid 1px gray;
}