body {
	font-family: "Gill Sans", "Bitstream Vera Sans", "Verdana", sans-serif;
	margin: 0;
}

/*-- images ----------------------*/

img#logo {
	padding: 20px 0 0 0;
	margin: 0 0 0 2.5em;
}

img#sflogo {
	margin-top: 40px;
	border: 0;
}

a img {
	border: 0;
}

/*-- navigation sidebar ----------*/

div#sidebar {
	position: absolute;
	left: 10px;
	width: 13em;
	text-align: center;
	margin: 20px 0 0 0;
}

div.navigation a {
	display: block;
	font-size: 140%;
	color: black;
	text-decoration: none;
	text-transform: uppercase;
	padding: 0.2em 0.5em;
}

div.navigation a.selected {
	font-weight: bold;
}

div.navigation a:hover {
	background-color: #E2D4B1;
}

/*-- content column --------------*/

div.content {
	max-width: 1234px;
	padding: 0 26px 0 46px;
	margin: 0 0 0 13em;
}

/*-- red box ---------------------*/

div.redboxmargin {
	/* This additional div appears necessary to prevent IE 6's border collapsing from going berserk. For standards-compliant browsers, this could also be done using the margins of div.redbox1. */
	padding: 1px;
	margin: 0 17px 9px 0;
}

div.redbox1 {
	color: #E2D4B1;
	background: #E54433 url(images/redbox/topleft.png) no-repeat top left;
}

div.redbox2 {
	background: url(images/redbox/topright.png) repeat-y top right;
}

div.redbox3 {
	background: url(images/redbox/bottomleft.png) repeat-x bottom left;
}

div.redbox4 {
	background: url(images/redbox/bottomright.png) no-repeat bottom right;
	padding: 1px 6px 16px 1px; /*>= 1 for border collapsing prevention*/
}

/*-- beige box -------------------*/

div.beigeboxmargin {
	/* This additional div appears necessary to prevent IE 6's border collapsing from going berserk. For standards-compliant browsers, this could also be done using the margins of div.beigebox1. */
	padding: 1px;
	margin: 7px -25px 0 16px;
}

div.beigebox1 {
	color: black;
	background: #E2D4B1 url(images/beigebox/topleft.png) no-repeat top left;
}

div.beigebox2 {
	background: url(images/beigebox/topright.png) repeat-y top right;
}

div.beigebox3 {
	background: url(images/beigebox/bottomleft.png) repeat-x bottom left;
}

div.beigebox4 {
	background: url(images/beigebox/bottomright.png) no-repeat bottom right;
	padding: 1px 6px 12px 1px; /*>= 1 for border collapsing prevention*/
}

/*-- box headers -----------------*/

div.redbox1 h1 {
	font-weight: normal;
	font-size: 160%;
	padding: 0 18px;
	margin: 0.4em 0;
}

div.beigebox1 h2 {
	font-weight: normal;
	font-size: 120%;
	padding: 0.4em 0.83em;
	border-bottom: 1px dashed #A79E82;
	margin: 0;
}

div.attribution {
	float: right;
	font-size: 80%;
	padding: 0.9em 1.25em 0.3em 1.25em;
}

/*-- red box contents ------------*/

div.redbox1 p {
	margin: 0.4em 1em 0.8em 18px;
}

div.redbox1 h1+p {
	border-top: 1px dashed #E3A487;
	padding: 0.8em 1em 0 18px;
	margin: 0 0 0.8em 0;
}

div.redbox1 a { color: #E2D4B1; }

/*-- beige box contents ----------*/

div.beigebox1 p {
	margin: 0.8em 1em;
}

div.beigebox1 p.small {
	font-size: 80%;
	margin: 1em 1.25em;
}

div.beigebox1 a { color: #716A44; }
div.beigebox1 a:hover { color: #9E812F; }
div.beigebox1 a:active { color: #CB991A; }

div.beigebox1 table {
	margin: 0.8em 1em;
	border-collapse: collapse;
}

h3 {
	font-weight: bold;
	font-size: 100%;
	margin: 0.8em 1em;
}

table.columns td {
	vertical-align: baseline;
	padding: 0;
}

table.columns ul {
	padding-left: 0.5em;
}

table.changelog td {
	vertical-align: baseline;
	padding: 0 0 0.8em 0;
}

table.changelog td.date {
	white-space: nowrap;
	padding-right: 1.5em;
}

img.floattopleft {
	float: left;
	margin: 0.2em 1em 0.4em 0;
}

ul {
	padding: 0 0 0 1.5em;
	margin: 0 0 1.6em 0;
}

li {
	padding: 0;
	margin: 0.8em 1em;
}

.clear {
	clear: both;
}

.indented {
	padding-left: 2em;
}
