h1 {
	font-size: 130%;
	background-color: #EEEEFF;
}
h2 {
	font-size: 120%;
	border-bottom: 5px solid #EEEEFF;
}
h3 {font-size: 110%;}
img {
	border: 1px solid gray;
}
.menuTitle {
	background-color: #FFEEEE;
}
.menuH1 {
}
.menuH2 {
	background-color: #EEEEFF;
}
.header { 
	font-size: 80%;
}
.footer { 
	border-top: 1px solid blue;
}
.menu {
	background-color: #EEEEFF;
}
.main {
}
.comment {
	margin: 10px 10px 10px 15px; 
	padding: 5px 5px 5px 1px; 
	border-left: 20px solid #FFEEEE;
}
.code {
	font-size: 80%;
}
.result {
	font-size: 80%;
}
.wintitle {
	color: #FFFFFF;
	font-weight: bold;
	background-color: #6666FF;
}
.cmd {
	color: #FFFFFF; 
	background-color: #000000; 
}
.win {
	border: 2px solid silver; 
	padding: 0px 0px 0px 0px; 
	margin: 5px 5px 5px 5px;
}
.warn {
	color: red;
	font-weight: bold;
}