#header {
	background-color: #fff;
	margin: 0;
	padding: 10px 0;
	margin-bottom: 15px;
	font-family: arial;
}

#header h1 {
	font-size: 300%;
}

#footer {
	text-align: center;
}
li {
	margin-bottom: 15px;
}

pre {
	border: none;
}

.to_comments {
 border-top: 1px solid #ccc;
 border-bottom: 1px solid #ccc;
 padding: 5px 0 5px 10px; 
}

.wp_syntax {
	border: none;
}
.format_text pre {
	margin-bottom: 0;

}

#top-banner {
	margin-top: 15px;
}

.menu{
font-family: arial;
font-size:10px;
color:#2E373D;
background:#DFDFDF;
padding:6px;
height:1%;
clear:both;
}
.menu a {
color:#2E373D;
text-decoration:none;
margin:0 10px;
height:10px;
line-height:10px;
float:left;
display:block;
}