@charset "utf-8";
/* CSS Document */

body {
	margin: 1em;
	padding: 0;
	font-family: serif;
	background: #fffaf5;
	color: black;
	line-height: 135%;
	font-size: 90%;
}
img {
    border-style: none;		/* Undo Mozilla UA style sheet */
    vertical-align: baseline;
    max-width: 100%;		/* Scale images down on narrow windows */
}
h1 {line-height:normal;}
.highlight-version {
	border: solid 1px #630;
	color: black;
	background-color: #cfc;
	font-weight: bold;
	padding: 0.5em;
}