body {
font-family:sans-serif
}

#header {
font-size:130%;
text-align:center
}

#navigation {
background-color:#e0e0e0;
padding:1em
}

#navigation p {
display:inline;
padding:0.5em;
font-size:120%
}

#content {
margin-left:1em;
margin-right:1em
}

#footer {
text-align:center;
font-size:80%;
margin-top:1em;
background-color:#f0f0f0
}

.details {
display:none;
margin-top:-10px
}

.details p {
font-size:70%;
padding-left:20px;
margin-top:-10px;
margin-bottom:10px
}

.checksum {
padding-left:20px
}