body {
  padding: 1em 1em 1em 1em;
  margin-top: 1em;
  margin-bottom: 1em;
  margin-left: 1em;
  margin-right: 1em;
  font-family: sans-serif;
  color: black;
  background: white;
}

div.menu {
  border: solid; 
  border-width: thin; 
  padding-left: 10px; 
  padding-right: 10px; 
  padding-top: 5px; 
  padding-bottom: 5px; 
  background-color: #ededff;
  line-height: 24px; 
  text-decoration: none;
}  

a {text-decoration: none; color: blue}

div.rightcolumn {
  /* width: 190px; */
  margin-top: 10px;
  margin-left: 40px;
  margin-bottom: 50px;
  float: right;
}

div.title {
  border: solid; 
  border-width: thin; 
  text-align: center;
  padding-top: 3px;
  padding-bottom: 3px;
  background-color: #ededff;
}

div.foot {
  border: solid; 
  border-width: thin; 
  padding-top: 5px;
  padding-left: 5px;
  padding-right: 5px;
  padding-bottom: 5px;
  background-color: #ededff;
  font-size: x-small;
}

div.leftfoot {
  text-align: left;
  float: left;
}

div.rightfoot {
  text-align: right;	  
}

div.subtitle {
  border: solid; 
  border-width: thin; 
  padding-top: 3px;
  padding-bottom: 3px;
  background-color: #ededff;
}

div.centertitle {
  text-align: center;
  padding-bottom: 0px;
  font-size: x-large;
  font-variant: small-caps;
  font-weight: bold;
}

div.righttitle {
  float: right;
  padding-bottom: 0px;
}

div.body { 
/*  border: solid; 
  border-width: thin; */
  padding-bottom: 10px;
  padding-left: 5px;
  padding-top: 10px;
  padding-right: 5px;
  clear: none;
}

img {
  border-width: 0px;
}

dt {
  font-weight: bold;
}