body {
	font-family: sans-serif;
	font-size: large;
}
h1, h2, h3 {
	margin-bottom: 2px;
}
.tight {
	margin-top: 0px;
}
.wide {
	padding-top: 1ex;
	padding-left: 2ex;
	padding-right: 2ex;
	padding-bottom: 1ex;
	margin-bottom: 1ex;
	border: thin black solid;
	background-color: #dfdfdf;
	display: inline-block;
}
.gold {
	background-color: yellow;
}
.green {
	background-color: lightgreen;
}
div {
	margin-top: 0px;
	margin-left: 4ex;
}
.table_header {
	background-color: #a0a0a0;
}
.even_row {
	background-color: #685898;
	color: white;
}
.even_row a:link { color: #FFFFFF; }
.even_row a:visited { color: #FFFFFF; }
.even_row a:hover { color: #FFFFFF; }
.even_row a:active { color: #FFFFFF; }

.odd_row {
	background-color: #dfdfdf;
}
pre {
	margin: 12px;
}
.fingerprint {
	padding: 12px;
}
.code {
	background-color: #dfdfdf;
	font-weight: bold;
}
.dl {
	margin: 2px;
}
.skip {
  position: absolute;
  left: -10000px;
  top: auto;
  width: 1px;
  height: 1px;
  overflow: hidden;
}
.skip:focus {
  position: static;
  width: auto;
  height: auto;
}