body {
	margin: 0;
	padding: 0;
}
header {
	color: white;
	padding: 0 20%;
	background-color: #3366FF;

}
h1 {
	margin: 0;
}
main {
	display: block;
	padding: 1em 20%;
}
/*
pre {
	border: 1px solid gray;
	padding: 1em;
	border-radius: 0.5em;
	font-size: large;
	white-space: pre-wrap ;
}
*/
pre{
	font-size: large;
	white-space: pre-wrap;
	tab-size: 4;
	padding: 1em;
	background-color: #FFE8D0;
	border-radius: 5px;
	line-height: 1.5;
}
div.mbody {
	border: 1px solid gray;
	padding: 0.5em 1em;
	border-radius: 0.5em;
}
div.mbody p,
div.mbody ul{
	margin: 0.5em 0; 
}
h2 {
	font-size: 1.3em;
}
h2,h3,h4,h5{
	margin:0.2em 0;
}
h2 {
	border-left: 0.8em solid blue;
	padding: 0.2em 0.5em;
}
h3 {
	border-bottom: dashed blue 1px;

}
h4 {
	
}
ul.menu{
	padding: 0;
	list-style-type: none;
}
ul.menu li {
	margin-right: 0.5em;
	display: inline-block;
}
a.btn {
	background-color: #669933;
	color:white;
	text-decoration: none;
	padding: 0.2em 1em;
	border-radius: 0.2em;
}
table{
	border-collapse: collapse;
}
td,th{
	border: 1px solid gray;
	padding: 0.5em;
}
.mbody img {
	padding:0.5em;
	border: 1px solid #ccc;
}
img {
	max-width: 100%;
}
@media only all and (max-width: 800px){
	main {
		padding: 0.5em 0.2em;
	}
}