@charset "UTF-8";
/* CSS Document */

<style type="text/css">
	@import "all.css"; /* just some basic formatting, no layout stuff */
	
	
	body {
		margin:10px 10px 0px 10px;
		padding:0px;
		}
	

	
	#leftcontent {
	position: absolute;
	left:20px;
	width:170px;
	background:#fff;
	top: 240px;
	height: 650px;
		}

	#centercontent {
	margin-right:215px;
	margin-left:24px;
	position: absolute;
	left:200px;
	width:600px;
	height: 740px;
	top: 225px;
	}
	
    /*margin-right:4px;
	width: fixed;  
		}
		
		
	/*html>body #centercontent {
	width: 500
	margin-left: 260px;
   		margin-right:201px;
		}*/ 
	
	/*#rightcontent {
		position: absolute;
		right:10px;
		top:50px;
		width:50px;
		background:#fff;
		border:1px solid #000;
		}*/
	 
	 #banner {
	background:#fff;
	height:100px;
		}
	
	/*html>body #banner {
		height:39px;
		}*/
		
	p,h1,pre {
	margin:0px 10px 10px 10px;
	margin-top: 10px;
		}
		
	h1 {
		font-size:14px;
		padding-top:10px;
		}
		
	#banner h1 {
		font-size:14px;
		padding:10px 10px 0px 10px;
		margin:0px;
		}
		
		div.figure {
  float: right;
  width: 25%;
  border: thin silver solid;
  margin: 0.5em;
  padding: 0.5em;
}
div.figure p {
  text-align: center;
  font-style: italic;
  font-size: smaller;
  text-indent: 0;
}
	
	/*#rightcontent p {
		font-size:10px
		}*/
	
</style>