div#body, div#body * {
    font-family: 'Source Sans Pro', sans-serif;
    /*font-weight: 400;*/
}

.navbar {
    min-height: 0px;
    height: 30px;
}

.nav > li > a {
    font-size: 15px !important;
    padding: 5px 15px !important;
}

.dropdown-menu > li > a {
    font-size: 12px !important;
}

.border-rounded {
    border-radius: 4px;
    border: 1px solid #AAAAAA;
    -webkit-appearance: none;
    -moz-appearance: none;
    padding: 5px;
}

button.border-rounded {
    background-color: white;
}

div#body, div#body * {
    font-family: 'Source Sans Pro', sans-serif;
    /*font-weight: 400;*/
}

.navbar {
    min-height: 0px;
    height: 40px;
}

.nav > li > a {
    font-size: 20px !important;
    padding: 10px 20px !important;
}

.dropdown-menu > li > a {
    font-size: 15px !important;
}

.border-rounded {
    border-radius: 4px;
    border: 1px solid #AAAAAA;
    -webkit-appearance: none;
    -moz-appearance: none;
    padding: 5px;
}

button.border-rounded {
    background-color: white;
}

Fix the navbar size for real
Fix the navbar size for real
