@import "all.css"; /* just some basic formatting, no layout stuff */
	
	body {
		margin:10px 10px 0px 10px;
		padding:0px;
		}
	
	#leftcontent    { background: #fff; position: absolute; top: 50px; left: 10px; width: 200px; border-color: transparent }

	#centercontent       { font-size: small; background: #fff; margin-right: 201px; margin-left: 201px; border-color: transparent; voice-family: inherit      }
	html>body #centercontent   { font-size: small; margin-right: 201px; margin-left: 201px }

	#rightcontent    { background: #fff; position: absolute; top: 50px; right: 10px; width: 200px; border-color: transparent }
	
	#banner  { background: #fff; height: 39px; border-top: 1px none #000; border-right: 1px none #000; border-bottom: none; border-left: 1px none #000; voice-family: inherit }
	html>body #banner  { height: 39px; border-width: 12px }
		
	p,h1,pre {
		margin:0px 10px 10px 10px;
		}
		
	h1  { padding-top: 10px }
	
	p  { font-size: small }
	h2 {}
	h3 {}
	h4 {}
	h5 {}
		
	#banner h1 {
		font-size:14px;
		padding:10px 10px 0px 10px;
		margin:0px;
		}
	
	#rightcontent p  { }