/* ---------------------------------------------------------
// This file is part of MOSAIC
// --------------------------------------------------------- */


div.mainbody {
    max-width: 800px;
}

div.menubar {
    background: #444;
    color: #ddd;
    padding: 0.5em;
    margin-bottom: 0.5em;
}

span.menubrand {
    margin-left: 0.5em;
    font-weight: 600;
    margin-right: 0.5em;
}

h3 {
    font-size: 1.4em;
    font-weight: 600;
    margin-top: 1em;
    margin-bottom: 0.3em;
}

h5 {
    font-size: 1em;
    font-weight: 600;
    margin-top: 1em;
    margin-bottom: 0.2em;
}

div.info {
    font-style: italic;
    color: #585;

}