.hidden {
    display: none;
}
.header .heading {
    color: rgb(255,96,0);
    font-size: 400%;
    margin: 0px;
}
.header .heading a, strong, h1, h2, h3, h4 {
    color: rgb(255,96,0);
}
.column {
    padding-top: 0px;
}
img.logo {
     float: right; 
     width: 20%;
     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;
}
a:hover {
    background: rgb(192,64,0);
}