body {
	position : relative;
	padding-left: 30px;
	background-image: url(/bg0.gif);
	background-repeat: repeat-y;
}

h1 {
	font-size : larger;

}

h2, h3 {
	color : #333333;
	font-size : medium;
}

h4 {
	color : #333333;
}

.logo {
	position: relative;
	left: -20px;
}

a:link {
	color: #3333cc;
}

a:visited {
	color: #996655;
}

h2 {
	border-width : 0px 0px 0px 3px;
	border-style : solid;
	border-color: #333333;
	padding : 1px 0px 0px 7px;}

p { 
	text-indent : 1em;
	line-height : 150%;
}

table {
	margin-left: 2em;
}

pre {
	margin-left: 2em;
}

.code {
	border : none 1px black;
	white-space : pre;
	width : auto;
	padding : 0.5em;
	background-color: #EEEEDD;
}

.console {
	color : white;
	background-color : black;
	border : solid 1px white;
	white-space : pre;
	padding : 0.5em;
}

var {
/*	font-style : normal;*/
}

address {
	font-style : normal;
	text-align : right;
	border-width : 1px 0px 0px 0px;
	border-style : solid;
	width : 100%;
	line-height : 130%;
	font-size: small;
}

hr {
	display : none;
}

.figure {
	margin-left: 2em;
}

li {
	margin-bottom: 0.4em;
	line-height : 150%;
}

ins {
	text-decoration: none;
}

dl {
	margin-left: 2em;
}

dd {
	margin-top: 0.5em;
	margin-bottom: 0.5em;
	line-height : 150%;
}
dt {
	margin-bottom: 0.5em;
}