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;
}

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

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

.screen {
    text-indent: 0;
    border: 1px;
    color: white;
    background-color: black;
    font-size: 14px;
    font-family: monospace;
}

pre {
    text-indent: 0;
    border: 1px dashed #888888;
    background: #EEEEEE;
    margin: 4px;
    margin: 0em 4px 0em 4px; /* top right bottom left order */
    margin: 0em 1em 0em 1em; /* top right bottom left order */
/*
    padding: 6px;
*/
    padding: 10px 10px 10px 4px;
    padding: 10px 10px 10px 1em;
    font-family: monospace;
    font-size: 14px;
}

pre.math {
    text-indent: 0;
    border: 2px outset;
    background: #ffffff;
    margin: 4px;
    padding: 6px;
    font-family: monospace;
    font-size: 14px;
}

.head_h1 {
    color: black;
    background-color: white;
    font-size: 48px;
    font-family: Helvetica;
    font-style: bold;
    text-align: center
}

.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: 900px;
    overflow: hidden;
    border-color: #8EE5EE;
    border-style: ridge;
    border-width: 8px;
    color: black;
    background-color: white;
    line-height: 2;
}

.contents {
	/*
    float: center;
    width: 75%;
	*/
    margin: 0px 10px 0px 10px; /* top right bottom left order */
    padding: 10px 10px 10px 10px;
    padding: 0px 0px 0px 0px;
    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;
    margin: 2em 0em 2em 0em; /* top right bottom left order */
}

h2 { 
    color: #1111FF;
    background-color: #8EE5EE; 
    font-size: 28px;
    text-align: center;
    margin: 1em 0em 1em 0em; /* top right bottom left order */
}

h3 { 
    color: black;
    background-color: #8EE5EE;
    font-size: 20px;
    text-align: left;
    margin: 1em 0em 1em 0em; /* top right bottom left order */
    padding: 0em 1em 0em 1em;
}

h4 {
    color: black;
    font-size: 18px;
    text-align: left;
    margin: 0em 0em 0em 0em; /* top right bottom left order */
    padding: 0em 1em 0em 1em;
}

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;
	color: blue;
    /*
      font-weight:bold;
      */
    text-decoration:underline;
}

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

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

a:hover {
    /*
      color:red;
      font-weight:bold;
      text-decoration:underline;
      */
    background-color: blue;
    color: #FFFFFF;
	color: white;
    text-decoration:none;
/*
  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;
}

span.caution {
/*    font-size:28px;
*/
    color: red;
}

em.emphasis {
    color:#ff0c0c;
    font-size:18px;
}

div.eq {
    text-align: center;
    font-size:20px;
}

span.command {
    text-indent: 0;
    border: 1px dashed #888888;
    background: #EEEEEE;
    margin: 4px;
    padding: 6px;
    font-family: monospace;
    font-size: 14px;
}

.bf {
    font-weight: bold;
}

span.mb {
/*    font-family: monospace;
*/
    font-style: italic;
    font-weight: bold;
}

span.sc {
    font-style: italic;
    font-weight: normal;
}

div.DoubleLine {
    position:relative;
    line-height: 2.5;
}

img.eq {
    position: absolute;
    margin-top:-17px;
}

img.eq2 {
    position: absolute;
    margin-top:-7px;
}

img.eq3 {
    position: absolute;
    margin-top:-3px;
}

img.eq4 {
    position: absolute;
    margin-top:0px;
}

.figcaption {
    margin: 0px 200px 50px 200px; /* top right bottom left order */
/*
  leftmargin: 50px;
  topmargin: 0px;
  marginwidth: 300px;
*/
  font-family: monospace;
  font-size: 12px;
  color: green;
  color: black;
  background-color: white;
  text-indent: 0em;
  text-align: left;
  text-align: center;
}

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

ul {
    margin: 0em 2em 0em 2em;
    padding: 0 0 10px 0;
}

ol {
    margin: 0em 2em 0em 2em;
    padding: 0 0 10px 0;
}

dl {
    margin: 0em 2em 0em 2em;
    padding: 0 0 10px 0;
}

table.default {
   border: 5;
   cellspacing: 0;
   cellpadding: 10;
/*
    border:5;
    cellspacing:0;
    cellpadding:5;
*/
    align:center;
}