/* special styles for the top bar */

body {
    padding-top:      70px;
    /*background-color: #f4f4f4;*/
}

.navbar-brand {
    padding: 5px;
}

.navbar-default {
    background:         #dcdcdc;
    -webkit-box-shadow: 0 0 0 rgba(255, 255, 255, 0) inset, 0 0 0 rgba(0, 0, 0, 0);
    -moz-box-shadow:    0 0 0 rgba(255, 255, 255, 0) inset, 0 0 0 rgba(0, 0, 0, 0);
    box-shadow:         0 0 0 rgba(255, 255, 255, 0) inset, 0 0 0 rgba(0, 0, 0, 0);
    border-bottom:      1px solid rgba(14, 57, 144, 0.15);
}

.navbar > .container .navbar-brand, .navbar > .container-fluid .navbar-brand {
    margin-left: 0;
}

a.anchor{display: block; position: relative; top: -80px; visibility: hidden;}