/* Expand the document margins a little. */


body {
  padding: 2em;
  background-color: #ffffff;
}

body {
  	font-family:
    "Bookman Old Style",	/* Windows, MacOS */
    "Serifa BT",		/* Windows XP. Not the same font,
				   but the overall look is close enough. */
    "URW Bookman L",		/* Unix+X+FontConfig */
    "itc bookman",		/* Unix+X */
	/* Fallback options */
    times,			/* Unix+X, MacOS */
    serif;
	/* Credits to: http://web.mit.edu/jmorzins/www/fonts.html */
}

h2 {
	color: #800;
	border-top: solid 2px #999;
	padding-top: 20px;
	}

h4 {
	color: #080;
	}

p,ol,ul {
	margin-left: 2em;
	}

code {
	margin-left: 4em;
	padding: 5px;
	border: 1px dashed #000;
	background-color: #ddd;
	font-family: Courier New, Courier, monospace;
	}

	
/* Footer is small and right-aligned. */
#footer {font-size: smaller; text-align: right;}

#info {
	margin-left: 2.2em;
	font-size: 10pt; 
	}
	
.external {
	font-size: .8em;
	vertical-align: super;
	}

a.external:link {
	color: #ccc;
	text-decoration: none; 
	}
a.external:active {
	color: #900;
	}
a.external:visited {
	color: #ccc;
	text-decoration: none; 
	}

a.external:hover {
	color: #c04; 
	text-decoration: none; 
	}