body {
	background-color: white;
	color: black;
	font-size: 12px;
}

A:link    { color: blue;    }  /* unvisited link */
A:visited { color: teal;    }  /* visited links */
A:active  { color: #0066FF; }  /* active links */

h1 {
	font-size: 20px;
	font-weight: bold;
	text-align: center;
}

h2 {
	font-size: 16px;
	font-weight: bold;
}

h2.title {
	margin: 1em 1em 0em 0em;
	font-size: 1.5em;
	font-weight: 600;
	border-style:outset;
	border-width: 0.3em 0.3em 0.3em 0.3em;
	border-color:silver;
	width:100%;
}

h3 {
	font-size: 14px;
}

h3.method {
	font-weight: 600;
	color: navy;
	line-height: 120%;
}

h4 {
	font-size: 12px;
}

dt {
	font-weight: bold;
	line-height: 110%;
}

.highlight {
	color: red;
}

.note {
	color: green;
}

.info {
	font-style: italic;
}

p.copyright {
	text-align: center;
}

pre {
	font-face: monospace;
	font-size: 12px;
}

pre.rb {
	color: maroon;
}

pre.c {
	color: darkgreen;
}

pre.illegal {
	color: purple;
}