body {
	background-color: #FFFFF7;
	color: #000000;
	font-family:	monospace;
	font-size : 1em;
	margin: 2em;
	max-width: 800px;
	}

body.index {
	font-family:	monospace;
	}

h1 {
	background-color: #9999CC;
	font-size: 1.5em;
	margin: 0em;
	padding: 5px;
	width: 100%;
	}

h2 {
	font-size : 1.3em;
	}

img {
	padding: 0.25em;
	border: 1px solid #666666;
	}

p {
	}

p.footer {
	font-size : 0.9em;
	}

p.navigation {
	background-color : #BBBBEE;
	font-size: 1.0em;
	margin: 0em;
	padding: 5px;
	width: 100%;
	}