body {
	padding-left:.5em;
        width:95%;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size:12px;
	line-height: 1.5em;
}

p {
	margin-right:1em;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size:12px;
	line-height: 1.5em;
}



h1 {
	text-align:center;
	font-size:1.6em;
}

h3 {
	border-bottom:1px solid black;
	font-size:1.4em;
}

h4 {
	border-bottom:1px dotted black;
	font-size:1.2em;
}

pre, code, .code {
	font-family:"Courier New", Courier, mono;
	font-size:1.0em;
}

pre, code {
	/*width:95%;*/
	margin-left:0px;
	padding:10px;
	background-color: #F5F5F5;
	border:1px dashed black;
}

.smaller {
	font-size:smaller;
}



div#header h1 {
	height:50px;
	line-height:50px;
	margin:0;
}

div#content p {
	line-height:1.4;
}

div#footer {
	border-top:1px solid black;
	margin:0px;
	margin-top:35px;
	padding:5px 10px;
	clear:both;
}

div#footer p {
	font-size:smaller;
	text-align:center;
	margin-top:0;
}

div#wrapper {
	float:left;
	width:100%;
}

div#content {
	margin-right:200px;
	padding-right:20px;
	margin-left:20px;
}

div#examples {
	float:left;
	width:190px;
	margin-left:-200px;
	text-align: center;
}

div#extra {
	clear:left;
	width:100%;
}

.thumbnail {
	position:relative;
	float:right;
	text-align:center;
	font-size:smaller;
	/*margin-left:15px;*/
	border:1px solid #CCC;
	padding:2px;
	margin-bottom:20px;
}

.thumbnail img {
	border:1px solid black;
	margin:7px;
}

.thumbnail a {
	display:block;
	text-decoration:none;
}

li {
	list-style-type: square;
}

a {
	font-weight:bold;
	padding:2px;
}
a:link {
	color:gray;
	background-color:#FFF;
}
a:visited {
	color:gray;
	background-color:#FFF;
}
a:hover {
	color:darkgray;
	text-decoration:none;
	background-color:#F5F5F5;
}
a:active {
	color:darkgray;
	text-decoration:none;
	background-color:#F5F5F5;
}

table {
	width:95%;
	margin-left:0px;
	border:1px dashed black;
	border-spacing:0px;
}

/* added by HST */
table.blind {
	width:0;
	border:0px;
	border-spacing:0px;
	padding:0px;
}

.row-odd {
	background-color:#F5F5F5;
}

.row-even {
	background-color:#EEE;
}

td, th {
	padding:4px 10px;
	margin:4px;
}