@media (min-width: 640px) {
    body {
	width: 620px;
    }
}

body {
	font-family: DejaVu Sans, Bitstream Vera Sans, Verdana, sans-serif;
	color: black;
	background-color: #b7afac;
	margin: auto;
	margin-top: 5px;
}
hr { border-top: 1px solid; border-bottom: 0px; }
h1, h2, h3, h4, h5, h6 { margin-top: 1em; margin-bottom: 1em; }
img { margin: 4px; }
a img { border: 1px solid; }

a:visited { color: #40a; }
.smaller { font-size: smaller; }

.header, .actions, #content { background-color: #A8D0A9; border: 0px; }
.header, .actions { background-color: #9cc; padding: 0.5em; 
	border-left: solid 1px #888; border-right: solid 1px #888;}
.header { border-top: solid 1px #888; margin-bottom: 2px;
	border-bottom: solid 1px #888}

#content { clear: both; padding: 0.5em; margin-bottom: 2px; border: solid 1px #888;}
#content pre { margin: 0.5em; padding-left: 2px; 
	border-left: 1px solid #009900; }

.leftfloat { float: left; padding: 4px; }
.rightfloat { float: right; padding: 4px; }

#footer { margin: 0px; padding: 0.5em; background-color: #9cc;
		  border: solid 1px #888;
		  font-size:smaller; }
#footer div { margin: 0px; margin-bottom: 0.5em; border: 0px; }