/*
    Document   : styles
    Created on : Dec 11, 2011, 4:56:09 PM
    Author     : Todd Mullen
    Description:
        Purpose of the stylesheet follows.
*/
body{
	font-size: 18px;
	line-height: 1.5;
	background-image: url('imgs/bgHeader3x128.png');
	background-repeat: repeat-x;
}
div{
	margin: 5px;
	padding: 10px;
	border: thin inset #8833ff;
}
div.body{
	position: absolute;
	left: 205px; top: 137px; right: 10px;
	margin: auto;
	border: medium inset;
}
code{
	margin: 10px;
	margin-left: 30px;
	padding: 5px;
	display: block;
	font-size: 80%;
	border: medium inset #ccbb99;
}
code.output{
	padding-left: 30px;
	border:thin inset grey;
}
h2{
	margin: 3px;
}
pre{
/*	font-size: 11px;
	font-style: italic;*/
}
a{
	text-decoration: none;
	color: #fff;
}
div.body a{
	text-decoration: underline;
	color: #77f;
}
div.header{
	border: none;
	margin: auto;
	text-align: right;
	padding: 0;
	margin-top: 80px;
}
div.header img{
	position: absolute;
	left: 30px;
	top: 20px;
}
div.header ul li{
	font-size: 15px;
	display: inline-block;
	border: medium outset darkgreen;
	padding: 5px;
	background-color: #ccbb99;
	-webkit-border-radius: 0 13px 7px 12px;
	border-radius: 0 13px 7px 12px;
	margin: -2px;
}
div.header ul li.here{
	border: medium inset #ddfC9D;
	padding: 3px;
	background-color: #b3a65e;
	color:#a00;
}
div.sideNav{ border: medium none;
    left: 10px;
    padding: 0;
    position: fixed;
    top: 114px;
    width: 160px;
}
div.sideNav ul{
	padding: 0;
}
div.sideNav ul li{
	display: block;
	border: medium outset darkgreen;
	padding: 4px;
	background-color: #ccbb99;
	width: 100%;
	-webkit-border-radius: 0 7px 7px 9px;
	border-radius: 0 7px 7px 9px;
}
div.sideNav ul li.here{
	border: medium inset #ddfC9D;
	padding: 3px;
	background-color: #B3A65E;
	color: #a00;
}
div.extLives{
	display:none;
}