body {
   background-color: white;
   margin-top: 0px;
   margin-left: 10%;
   margin-right: 10%;
   padding-top: 0px;
   font-family: sans-serif;
}

#header {
   margin: 0px;
   padding: 1em 0em;
}

#header img.logo {
   float: left;
   border: 0px;
   margin-right: 5px;
}

#header h1 {
   margin: 0px;
}

#header div.subtitle {
   color: #4462b7;
   font-weight: bold;
}

#header a {
   text-decoration: none;
   color: black;
}

h2 {
   border-bottom: 1px solid #cccccc;
   clear: left;
}

#news h3 {
   margin-bottom: 0px;
}

#news div.date {
   float: right;
   color: #4462b7;
   font-size: 0.85em;
   margin-top: 0.3em;
   margin-bottom: 0px;
   padding-bottom: 0px;
}

#news div.headline {
   border-bottom: 1px solid #cccccc;
}

#examples {
   text-align: center;
   margin-left: auto;
   margin-right: auto;
}

#download {
   margin-left: auto;
   margin-right: auto;
   border-collapse: collapse;
}

#download th {
   font-weight: bold;
   font-size: 0.85em;
}

#download tr.release {
   background: #eeeeee;
   border: 1px solid #cccccc;
   font-weight: bold;
}

#download tr {
   border: 1px solid #cccccc;
}

#download td.date {
   text-align: right;
}

#download tbody.formatgroup {
   border: 1px solid #cccccc;
}

#download td.format {
   padding: 0 0.5em 0 0.5em;
}

#download td.name, #download td.note {
   font-size: 0.85em;
   padding: 2px 0.5em 2px 0.5em;
}

#download td.size {
   font-family: monospace;
   text-align: right;
   padding: 0 0.5em 0 0.5em;
}

#download td.md5sum {
   font-family: monospace;
   padding: 0 0.5em 0 0.5em;
}

#footer {
   font-size: 0.85em;
   border-top: 1px solid #cccccc;
}

#cvsid {
   float: right;
}

pre {
   border: 1px dashed #2f6fab;
   background-color: #f9f9f9;
   padding: 1em;
}