/* stylesheets are neat */

body
{
	color: black;
	font: 12px verdana, arial, helvetica, sans-serif;
	margin-left: 160px;
	background-color: #DCCCBD;
}

a:link, a:visited { color: #660000; text-decoration: none; }
a:active, a:hover { color: #333333; text-decoration: underline; }

span.printedred
{
	color: #ff7f7f;
}

span.printedgreen
{
	color: #7fff7f;
}

span.printeddiff
{
	color: #ffbfbf;
}	

p.indent
{
	margin-left: 2em;
	margin-top: 0.3em;
}

dd
{
	margin-bottom: 0.5em;
}

li
{
	margin-top: 0.25em;
	margin-bottom: 0.25em;
}

li.flat
{
	margin-bottom: 0em;
}

dt
{
	font-weight: bold;
}

h1
{
	font-size: 145%;
	color: #6c3728;
	margin-top: 1.25em;
	margin-bottom: 0.5em;
}

h2
{
	font-size: 135%;
	color: #7c4738;
	margin-top: 1.25em;
	margin-bottom: 0em;
}

blockquote
{
	margin-top: 1em;
	margin-bottom: 1em;
	padding: 0.4em;
	color: #441111;
}

pre
{
	padding: 0.4em;
	border: solid 1px #D6C0AC;
	background-color: #F2EBE5;
	color: #066;
	margin-top: 1em;
	margin-bottom: 1em;
}

hr
{
	border-style: solid;
	color: #663333;
}

/* Styles for the news boxes */

div.news
{
	background-color: #EFE3D7;
	border: 1px solid #802900;
	margin-bottom: 1em;
}

div.news div.main
{
	padding: 1em 1em 1em 1em
}

div.news h2
{
	margin-top: 0em;
	color: #f6f6e6;
}

div.news .topline
{
	padding: 0.3em 1em 0.5em 1em;
	background-color: #8C2F00;
	color: #f0e2ea;
}

div.news .topline a
{
	color: #cc9966
}

div.news .botline
{
	padding: 0.5em 1em 0.3em 2.5em;
	margin: 0px;
	text-align: right;
	background-color: #D1AF9E;
	font-size: 90%;
}

div.news .botline dt
{
	float: left;
	font-weight: normal;
}

.codebox dt
{
	display: none;
}
.codebox dd
{
	margin: 10px 5px 10px 5px;
	padding: 5px;
	border: solid 1px #D6C0AC;
	font-weight: normal;
	color: #066;
	font-family: Monaco, 'Courier New', monospace;
	background-color: #F2EBE5;
}

.logwrap td
{
	vertical-align: top;
}

.log
{
	margin: 0px 5px 10px;
	padding: 5px;
	border: solid 1px #C9B6A3;
	border-right: 2px solid #C2AF9D;
	border-bottom: 2px solid #C2AF9D;
	background-color: #E8DBCF;
}

.log h3
{
	margin: 0 0 6pt;
	padding: 3pt;
	background-color: #E3D2C1;
	border: solid 1px #D6C0AC;
	font-size: 125%;
}
.oops h3
{
	background-color: #CFBFB0;
}
.log h4
{
	margin: 6pt -6pt;
	font-size: 135%;
}

.log .paths
{
	margin: 6pt 0 0;
	padding: 6pt 6pt 16pt 2em;
	background-color: #F3E8DF;
	border: solid 1px #D6C0AC;
	list-style: none;
}

.log .r
{
	font-size: 90%;
	font-weight: normal;
}
.log .r a
{
	color: #639;
}

.log .who
{
	color: #666;
}

.log .fix
{
	color: #060;
}

.log .new
{
	color: #009;
}

.log .del
{
	color: #900;
}

.log .where
{
	color: #643;
	background-color: #D6C0AC;
	font-size: 115%;
	margin-top: -6pt;
	margin-bottom: 6pt;
	padding: 2pt;
}

.oops
{
	background-color: #B39D89;
}
.log div.oops
{
	color: #FFC;
	text-align: center;
	margin: 8pt;
}

.log hr
{
	background-color: #a86;
	border: none;
	height: 1px;
	width: 96%;
}

/* Styles for the download boxes */

div.down
{
	background-color: #ffffff;
	border: 1px solid #802900;
	margin-bottom: 1em;
}

div.down h2
{
	margin-top: 0em;
	color: #f6e8e0;
}

div.down div.topline
{
	padding: 0.3em 1em 0.5em 1em;
	background-color: #8C2F00;
}

div.down h4
{
	margin-top: 0;
	margin-bottom: 0.2em;
	vertical-align: middle;
}

div.down div.row1
{
	background-color: #f6f3f0;
	padding: 1em 1em 1em 1em;
}

div.down div.row2
{
	background-color: #fffcf8;
	padding: 1em 1em 1em 1em;
}

div.down p
{
	margin-top: 0.1em;
}

/* Styles for the the button bar on the left of the page */

.jumper
{
	position: fixed;
	top: 0px;
	left: 0px;
	width: 150px;
	padding-top: 1em;
	text-align: center;
	font-size: 75%;
	overflow: hidden;
	height: 100%;
	border-right: 1px solid #802900;
	background-color: #cca683;
}

.jumper img { border-style: none; margin-bottom: 1em; }
.jumper a { display: block; }

.jumper ul
{
	list-style-type: none;
	margin: 0;
	padding: 0;
	position: relative;
	width: 150px;
	z-index: 1;
}

.jumper li
{
	margin: 0;
	text-align: left;
}

.jumper ul a, .jumper ul a:visited
{
	color: #ffffff;
	background-color: #993300;
	padding: 5px 0 7px 6px;
	font: 13px Verdana, arial, helvetica, sans-serif;
	font-weight: bold;
	text-decoration: none;
	border-top: solid 1px #cc6633;
	margin: 0px;
	width: 100%;
}

.jumper ul a:hover, .jumper ul a:active
{
	color: #ffff00;
	background-color: #aa5511;
	text-decoration: none;
}

.jumper ul li.active a 
{
	background-color: #771100;
	color: #FFFFCC;
}

.jumper ul li.active a:hover, .jumper ul li.active a:active
{
	color: #FFFF00;
}


.jumper .linkbox
{
	position: absolute;
	bottom: 0px;
	left: 0px;
	width: 150px;
	padding-bottom: 1em;
	padding-top: 0px;
}

.jumper h5
{
	border-top: solid 1px #B99777;
	border-bottom: solid 1px #B99777;
	font-family: Arial,Helvetica,sans-serif;
	font-size: 1.05em;
	font-weight: bold;
	margin-bottom: 0px;
	padding: 2px 1px;
	text-transform: uppercase;
	background-color: #B19072;
}

.jumper .linkbox img
{
	margin: 0px;
}

.jumper .linkbox span
{
	display: none;
}

.jumper .linkbox a
{
	padding: 0.4em 0px;
	margin: 0px;
	font-weight: normal;
	background-color: #C39F7D;
}

.jumper .linkbox a:hover
{
	background-color: #aaa683;
}

.jumper .linkbox a:active
{
	background-color: #BCB891;
}

.jumper ul li.active .revlist
{
	max-height: 24em;
	overflow: auto;
}

.jumper ul li.active .revlist a
{
	border-top: none;
	padding: 1px 0;
	text-align: center;
	color: #fff;
	background-color: #603;
	width: 149px;
}

.jumper ul li.active .revlist a:hover, .jumper ul li.active .revlist a:active
{
	color: #ff0;
	background-color: #730;
}

.jumper ul li.active .revlist a.here
{
	color: #ffc;
	background-color: #710;
}

.jumper ul li.active .revlist a.here:hover, .jumper ul li.active .revlist a.here:active
{
	color: #ff0;
}

ul.rig {
	list-style: none;
	font-size: 0px;
}

ul.rig li {
	display: inline-block;
	padding: 10px;
	font-size: 14px;
	font-size: 0.9rem;
	vertical-align: bottom;
	box-sizing: border-box;
	-moz-box-sizing: border-box;
	-webkit-box-sizing: border-box;
	text-align: center;
	width: 22%;
}

@media(max-width: 659px) {
	ul.rig { padding-left: 0px; }
	ul.rig li { width: 50%; !important; }
}
@media(max-width: 480px) {
	ul.rig { padding-left: 0px; }
	ul.rig li { width: 100%; !important; }
}