#menubar ul {
	font-size: 105%;
}

#container {
	font-size: 152%;
}

#contents,table,pre {
	color: #222222;
}

a {
	text-decoration: none;
	color: #E6570B;
	background: none;
}
a:visited {
	color: #E6570B;
}
a:hover {
	color: #E6570B;
	text-decoration: underline;
}
a:active {
	color: #E6570B;
}

pre {
	font-size: 0.95rem;
}