html {
	font-family: arial;
	width: 100%; height: 100%;
	text-align: center;
	margin: 0; padding: 0;
}
body {
	margin: 0 auto; padding: 1em;
	width: 960px;
	text-align: left;
	background-color: #ffffff;
	color: #000000;
}

pre {
	margin: 0.5em 0;
	padding: 0.5em;
	line-height: 1.2em;
	border-left-style: double;
	background-color: #eeeeee;
	width: 100%; 
	height: auto;
	overflow: auto;
}

#banner {
	padding: 1em;
	border-bottom: 2px solid #c0c0c0;
}
#banner img.logo {
	/* border: 1px solid #404040; */
}

#top_nav {
	padding: 0;
}
#top_nav ul {
	list-style-position: outside;
	list-style-offset: 0;
	list-style-type: none;
	margin: 0; padding: 0;
}
#top_nav li { 
	display: inline; 
	margin: 0 2em 0 0;
}

#main {
	width: 480px; height: auto;
	overflow-x: hidden;
}

.embed {
	border: none;
	float: right;
	width: 240px;
	height: 100%;
	overflow: hidden;
}