pre.input {
	background:orange;
	border-style:dotted;
	border-color:blue;
	border-width:1px 1px 1px 1px;
}	

pre.output {
	background:lightblue;
	border-style:dotted;
	border-color:blue;
	border-width:1px 1px 1px 1px;
}	

tt.output {
	background:lightblue;
	border-style:dotted;
	border-color:blue;
	border-width:1px 1px 1px 1px;
}	

h2 {
	color:orange;
	font-size:150%;
	font-family: normal;
	font-variant:small-caps;
	border-style:dotted;
	border-color:grey;
	border-width:2px 0px 2px 0px;

}

h1 {
	color:orange;
	font-size:250%;
	font-family: normal;
}