body {
		margin:20px 20px 0px 20px;
		}
	
	#main {
		border:5px solid #FF9900;
		}

	#main #menu {
		border-left:2px solid #FF9900; 
		border-bottom:2px solid #FF9900;
		float:right;
		width:200px; /* You have to specify the width of #menu for cross-browser compatibility, according to glish.com*/
		background:#66CC99;
		margin:0px 0px 10px 10px;
		}
		
	p,h1,pre {
		margin:0px 10px 10px 10px;
		}
	.bodytext {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px; font-style: normal; line-height: normal; font-weight: normal}
	#menu .bodytext {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10px; font-style: normal; line-height: normal; font-weight: normal}
	.title {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: 36px;
	font-style: italic;
	line-height: normal;
	font-weight: bold;
	color: #000000;
	border: thick none #66CC99;
}
	.copyright {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10px}
	.js_tag {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9px; color: #0066CC}
	.interior_title {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: 20px;
	font-style: italic;
	line-height: normal;
	font-weight: normal;
	color: #000000;
	border: medium none #66CCCC;
}

	#menu .interior_title {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: 16px;
	font-style: italic;
	line-height: normal;
	font-weight: normal;
}