body 
{ 
  background-color: #ddd;
  color: #000;
  padding: 0;
  margin: 14px 0;
}

#front-part
{
  background-color: #fff;
  text-align: right;
  padding: 1em 1em 1em 1em;
  border-bottom: solid 6px #007;
}


#main-part
{
  background-color: #fff;
  border: solid 1px #000;
  min-width: 600px;
  padding: 1;
  margin: 0 14px;
}

#masthead
{
	padding-top: 1px;		/* hack to force teh entire masthead to
					   receive the background color */
	border-bottom: solid 1px #000;	/* three of the four sides of this block
					   will already have borders courtesy of
					   the #page-container element so we 
					   only need to render the bottom. */
}

.inside
{
	margin: 10px;			/* margin, instead of padding, used to 
					   induce margin collapse if needed by 
				 	   child elements */
}


h1 	{
	color: black;
	/* background-color: #dfdff3; */
	/* padding: 0.5em 2em; */
   /* margin: 0em 3em; */
	text-align: center;
	}

h2 {
  /* background-color: #efefef; */
  padding: 0em 0em 0.1em 0em;
  margin: 2em 1em 0em 0em;
  border-bottom: solid 2px #000;
  }

h3 	{
	color: black;
	/* background-color: #dfdff3; */
	padding: 0.1em 0.5em 0.1em;
	}

h4 {
	color: black;
	padding: 0.1em 0.5em 0.1em;
	}

pre {
	padding-left: 0.5em;
	padding-right: 0.5em;
	padding-top: 0.2em;
	padding-bottom: 0.2em;
}

p {
  margin: 0em 2em 0.1em 2em;
}
ul {
  margin: 0.2em 2em 0.5em 0.5em;
}

.inputdata {
		background-color: #fbfbfb;
		margin-left: 2.5em;
		border-width: 5px; border-color: #e0e0e0; border-style: solid;
	}
.code {
		background-color: #fbfbfb;
		margin-left: 2.5em;
		border-width: 5px; border-color: #e0e0e0; border-style: solid;
	}
.cmds {
		font: bolder;
		background-color: black;
		color: lightgreen;
		margin-left: 2.5em;
		margin-right: 10em;
		border: double;
		border-color: #e0e0e0;
	}

.gborder {
        margin-left: 2.5em;
        margin-right: 5em;
        padding-bottom: 0.5em;
        padding-top: 0.5em;
        background-color: #e0e0e0;
	border-width: 1px; border-color: #c0c0c0; border-style: solid;
	}

ol.space {
	margin-left: 2.5em;
	padding: 0.3em 1.0em 0.0em 3.0em;
	border-width: 2px; border-color: #c0ffc0; border-style: solid;
	}


.space li 	{
	margin: 1em 0.0;
	}


table {
	background-color: gray;
	border: 1;
	cellspacing: 4;
	cellpadding: 4;
	}

td {
	background-color: white;
	}
c