h1 {
	font-size : larger;
}

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

h4 {
	color : #333333;
	font-size : small;
}

h3, h4 {
/*	margin-left : 0.5em;*/
}

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 : solid 1px black;
	white-space : pre;
	width : auto;
	padding : 0.5em;
}

.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;
}

body {
	position : relative;
}

hr {
	display : none;
}

.figure {
	margin-left: 2em;
}

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

ins {
	text-decoration: none;
}

dl {
	margin-left: 2em;
	line-height : 150%;
}


dd {

	line-height : 150%;
}
dt {

}