body {
  margin: 0 auto;
/*
  border-color: aqua;
  border-style: ridge;
  border-width: 4px;
  padding: 0 20px 20px 20px;
*/
  font-size: 14px;
  color: white;
  background-color: black;
  background-color: #096069;
  text-indent: 1em;
}

.code {
    color: white;
    background-color: black;
    font-family: monospace;
}

.display {
	color: white;
	background-color: blue;
  background-color: #096069;
	font-family: monospace;
	font-size: 14px;
}

.screen {
    color: white;
    background-color: black;
    font-size: 14px;
    font-family: monospace;
}

pre {
    text-indent: 0;
    color: white;
    background-color: black;
    font-family: monospace;
    font-size: 14px;
    margin: 0px 10px 0px 10px; /* top right bottom left order */
    padding: 0px 0px 0px 0px;
}

.head_h1 {
    color: black;
    background-color: white;
}

.header {
    width: 100%;
    clear: both;
    color: black;
    background-color: white;
    overflow: hidden;
    font-weight: bold;
    margin: 0;
    padding 0;
}

.main {
    margin: 0 auto;
	/*
    padding: 10px 10px 10px 10px;
	*/
	padding: 10px 0 0 0;
    width: 800px;
    overflow: hidden;
    border-color: #8EE5EE;
    border-style: ridge;
    border-width: 8px;
  	color: black;
	background-color: white;
	line-height: 2;
}

.contents {
    float: center;
    width: 75%;
    padding: 10px 10px 10px 10px;
	color: black;
	background-color: white;
}

.footer {
    width: 100%;
    clear: both;
  	color: black;
  	background-color: white;
}

h1 { 
    color: #1111FF;
    background-color: #8EE5EE;
	font-size: 38px;
    text-align: center
}

h2 { 
    color: #1111FF;
    background-color: #8EE5EE; 
	font-size: 24px;
    text-align: center;
}

h3 { 
    color: black;
    background-color: #8EE5EE;
	font-size: 20px;
    text-align: left;
}

div.center { 
    text-align: center; 
    float: center;
}
/*
div.left{ 
	text-align: left; 
	float: left;
}
*/
.left { text-align:left; }
.right { text-align:right; }


img,span{ text-align: center;}

a:link {
	color: #0707FF;
	/*
	font-weight:bold;
	*/
	text-decoration:underline;
}

a:active {
	color: #0707FF;
	/*
	font-weight:bold;
	*/
	text-decoration:underline;
}

a:visited {
	/*
	color: #8EE5EE;
	*/
	color: #6E65EE;
	/*
	font-weight:bold;
	*/
	text-decoration:underline;
}

a:hover {
	/*
	color:red;
	font-weight:bold;
	text-decoration:underline;
	*/
	background-color: blue;
	text-decoration:none;
	color: #FFFFFF;
	/*
	position:relative;
	top: 2px;
	left: 2px;
	*/
}

span.anns {
    font-size: 18px;
    color: red;
    background-color: white;
}

span.exercise {
	font-size: 24px;
	color: white;
	background-color: green;
}

p {
    margin: 0px 10px 0px 10px; /* top right bottom left order */
    padding: 0px 0px 0px 0px;
    background-color: white;
}