body {
	margin: 0;
	padding: 0;
	font-family: arial, helvetica, sans-serif; 
	color: black;
	background-color: white;
}

a:link, a:visited {
	color: blue;
	background-color: white;
	text-decoration: none;
}

a:hover, a:active {
	color: red;
	background-color: white;
	text-decoration: none;
}

h1 {
	text-align: center;
}

h1 img {
	vertical-align: middle;
}

p.byline {
	text-align: center;
	font-size: 1em;
}

#content { 
	margin: 0px auto; 
	width: 35em; 
	padding: 0; 
	text-align: justify;
}

#footer {
	list-style-type: none; 
	font-style: italic;
	border-top: dashed 1px silver;
	padding-left: 0;
	padding-top: 1em;
}

.download_table {
	border: dashed 1px black;
	margin: 0px auto;
}

.info_table {
	border: dashed 1px black;
	margin: 0px auto;
}

.info_table td {
	border: solid 1px silver;
}

.info_table td.right {
	text-align: right;
}

.file {
	font-weight: bold;
	border: dashed 1px silver;
	margin-bottom: 2em;
	font-family: monospace;
	font-size: 1em;
}

kbd {
	font-weight: normal;
	border: solid 1px silver;
	color: black;
	background-color: rgb(247, 242, 208);
	margin-bottom: 0;
	white-space: pre;
}

kbd.dos {
	/* show a > prompt */
}

kbd.user {
	/* show a $ prompt? */
}

kbd.root {
	/* show a # prompt? */
}

samp {
	font-weight: normal;
	border: solid 1px silver;
	color: black;
	background-color: rgb(247, 247, 247);
	margin-bottom: 0;
	display: block;
	white-space: pre;

}

pre.listing {
/*	border: solid 1px silver;*/
	font-weight: normal;
	border-top: solid 1px silver;
	overflow: auto;
	color: black;
	background-color: rgb(247, 242, 208);
	margin-bottom: 0;
}