body {
   background: white;
   color: black;
   font-family: georgia, serif;
   font-size: 12pt;
   text-align: justify;

   margin: 20px;
   width: 600px;

   margin-left: auto;
   margin-right: auto;
}

h1, h2, h3 {
   margin-top: 40px;
   margin-bottom: 10px;
   font-family: tahoma, verdana, sans-serif;
}

h2 {
   color: #333333;
   font-size: 16pt;
}

h3 {
   color: #666666;
   font-size: 14pt;
}

table {
   border: 1px solid #666666;
   border-spacing: 0;
}

td {
   padding: 2px;
}

td.header {
   background-color: #C4C9BF;
   background-image: url(header_bg.png);
   background-repeat: repeat-x;
   color: white;
   font-family: tahoma, verdana, sans-serif;
   font-weight: bold;
   font-size: 13pt;
}

td.label {
   background: #e9e9e9;
   background-repeat: repeat-x;
   text-align: right;
   font-weight: bold;
}

a img {
   border: none;
}

img.install-button {
  margin: 50px;
}

dt {
  font-weight: bold;
  font-size: 13pt;
}

dd {
  margin-bottom: 20px;
}

pre {
  border: 1px solid #666666;
  background-color: #e9e9e9;
  padding: 5px;
}