.hidden {
    display: none;
}
.header .heading {
    color: #800000;
    font-size: 400%;
    margin: 0px;
}
.header .heading a, .header strong, h1, h2, h3, h4 {
    color: #800000;
}
.column {
    padding-top: 0px;
}
img.cloud {
     float: right; 
     width: 35%;
    -webkit-border-radius: 8px;
    -moz-border-radius: 8px;
     border: 1px solid black;
     background: black; padding: 2px;
     margin-bottom: 3ex;
     margin-left: 3ex;
}
.container .header hr {
    clear: none;
}
div.column, div.contents {
    float: none;
}
div.contents {
    font-size: larger;
}
div.sidebar {
    float: right;
    clear: right;
    text-align: right;
}
div.sidebar li {
    list-style: none;
}
.footnote {
    clear: both;
}