/* public/css/header.css */

/* from style.css: header area */
/*  [oai_citation:4‡style.css](sediment://file_000000005f8c720883ccd23d2f1357f2) */
.page-header {
    padding: 0;
    margin: 0;
    border-bottom: none;
}
.page-header-dark {
    background: #302f2f;
}

/* brand (same as style.css) */
/*  [oai_citation:5‡style.css](sediment://file_000000005f8c720883ccd23d2f1357f2) */
.brand {
    display: inline-block;
}
.brand,
.brand img {
    border-radius: 50%;
}

/* useful navbar tightening in case you isolate header */
.rd-navbar {
    width: 100%;
}

/* make sure toggle is visible on smaller screens; original css handles a lot more but this is the safe bit */
.rd-navbar-toggle {
    background: transparent;
    border: none;
}

/* since we still load original style.css, the rest of rd-navbar advanced behavior stays there */