BODY {
  color: #222; 
  background-color: white;
  background: url('./mm-paper.png') fixed;

  font-family: sans-serif, Helvetica, Arial;
}

div.page {

  margin-left: 18%;
  margin-right: 18%;

  margin-top: 18%;

  /* background-color: #ffffff; */
  /* border: solid medium #DDDDDD; */


  /* border: thin outset #999;
     border-color: #025c7f; */

/*  width: 80%;*/
  text-align: center;

  clear:both;
}

div.page img {
  float: left; 
  padding-right: 1em;
  padding-bottom: 1em;

  /* Mozilla has a rather ugly default of borders around any-link-img */
  border-style: none;
}

div.left img {
  float: left;
  padding-left: 0px;
  padding-right: 1em;
  padding-top: 0px;
  padding-bottom: 1em;
}

div.right img {
  float: right;
  padding-left: 1em;
  padding-right: 0px;
  padding-top: 0px;
  padding-bottom: 1em;
}

div.p {
  clear: both;
}

div.page h2 {
  clear: left;
}

div.page table {
  /* width: 80%; */
}

div.code {
  margin-top: 1em;
  margin-bottom: 1em;
  
  background-color: #DDDDDD;
  
  font-family: mono, monotype, serif, sans-serif;

  /* width: 80%; */
}

div.footer {
  margin: 0 0 0 0;
  padding: 20px 0 0 0;
  width: 100%;
  text-align: right;
  font-style: italic;
  font-size: 80%;
}