pre {
  margin-left: 2em;
  padding: 1em;
  background-color:#efefef; 
  border: solid thin black;
}

body {
  color:black; 
  background:#ffffff; 
  font-family: Arial, Helvetica, sans-serif; 
  empty-cells:show; 
}

a:link {
  text-decoration: none; 
  color: #0d80c5
}
a:visited {
  text-decoration: none; 
  color: #0d80c5
}
a:hover {
  text-decoration: underline; 
  color: #0d80c5
}

h1 { font-size: 1.7em; 
     padding:3mm; 
     background-color:#0d80c5; 
     color:white; 
     text-align:center; 
     border-bottom:solid thin black; 
     border-top:solid thin black; }
h2 { color: #0d80c5; font-size: 1.3em; }
h3 { color: #0d80c5; }
h4 { color: black; }

th { background-color:#dfdfdf; }

p.url {font-family:Courier; }
p.quotetxt{ font-style:italic; text-align:right; margin-bottom:0.3em; margin-right:2em; }
p.quotesrc{ font-size:smaller; text-align:right; margin-top:0.3em; margin-bottom:2em; margin-right:3em; }
p.updated{ font-style: italic; font-size:smaller; text-align:right; margin-bottom, margin-top:0.3em;}

.sidemenu
{
 border: 1px solid #000000;
 background-color:#dfdfdf;
 float: right;
 top: 2em; 
 width: 23ex;
 margin-top: 2em;
 margin-bottom: 0.5em;
 margin-right: 1em;
 margin-left: 1em;
}