/* messages are fixed */
#messages {
    position: fixed;
    top: 95px;
    left: 0;
    z-index: 1000;
}
#messages .alert {
    margin-bottom: 3px;
}

/* no margins for header */
h1.header:not(:empty) {
    margin: -20px 0px 20px 0px;
    padding: 0px 4px;
    border-bottom: solid 0.5px gray;
}
a.nounderline {
    text-decoration: none;
}