h1.pagetitle {
  margin-top    : 0px;
  margin-bottom : 2px;
}

h2.pagetitle {
  margin-top    : 0px;
  margin-bottom : 2px;
}

h3.pagetitle {
  margin-top    : 0px;
  margin-bottom : 2px;
}

th.name {
  text-align : left;
  width      : 50%;
}

th.date {
  text-align : left;
  width      : 30%;
}

th.size {
  text-align : left;
  width      : 20%;
}

body {
  background-color : rgb(255, 255, 255);
  border           : none;
  border-width     : thin;
  margin-left      : 10%;
  margin-right     : 10%;
}

div.title {
  text-align          : left;
  border-color        : rgb(100, 100, 255);
  border-bottom       : solid;
  border-bottom-width : thin;
  padding             : 0.2em
}

div.footer {
  text-align       : left;
  border-top       : solid;
  border-top-width : thin;
  padding          : 0.5em;
  font-family      : verdana, sans-serif ;
  font-size        : 0.6em;
}

div.hr {
  border-top       : solid;
  border-top-width : thin;
}

div.box {
  border        : solid;
  border-width  : thin;
  margin-top    : 1em;
  padding       : 0.5em;
}

div.content {
  padding : 0.5em;
}

#history {
  background   : rgb(213, 255, 213);
  border-color : rgb(150, 255, 150);
}

#warning {
  background   : rgb(255, 213, 213);
  border-color : rgb(255, 150, 150);
}

pre {
  font-family: monospace;
  margin-bottom : 0px;
  margin-top    : 0px;
}