body {
	background-color:	#fffcf0;
	color:		black;
	padding:	0.5em;
	line-height:	130%;
  }
  h2 {
	margin:		auto;
	text-align:	center;
	padding:	0.5em;
	color:		white;
	background-color:	navy;
	border:		double 3px white;
  }
  h3 {
	margin:		auto;
	padding-top:	0.2em;
	padding-bottom:	0.2em;
	padding-left:	0.5em;
	color:		navy;
	border:		dotted 3px navy;
  }
  pre {
	margin-left:	4.0em;
	margin-right:	4.0em;
	padding:	0.5em;
	border:		dashed 1px black;
  }
  .step {
	clear:			both;
	float:			left;
	font-weight:		bold;
	width:			4.0em;
	padding-left:		0.2em;
	padding-right:		0.2em;
	margin-right:		0.5em;
	background-color:	#dcdcdc;
	color:			black;
	border:			solid 1px black;
  }