body {
  font-family: sans-serif;
  margin-left: 5em;
  margin-right: 5em; 
  margin-top: 2em;
 }
img.biglogo {
  vertical-align:middle;
  width: 64px;
  height: 64px;
}
img.tinylogo {
  vertical-align: middle;
  width: 32px;
  height: 32px;
}
h1{ text-align: center }
div.installer {
  text-align: center; 
  width: 10em; 
  float:right; 
  padding: 1em; 
 margin: 1em;
}
.greenborder {
  border: 3px solid green;
}
.redblueborder {
  border: 3px solid blue;
}
button { font-size: x-large; }
.footnote { font-size: x-small; }
div#mainpanel {
  margin:auto; 
  font-size: larger;
}
div.footer {
  text-align: center;
  font-size: xx-small;
}