/* 
 *  set site-wide font defaults
 */
body {
    font-family: Garamond, "Helvetica Neue",Helvetica,Arial,sans-serif;
    font-size: 12pt;
    line-height: normal;
}

#navbar-darkblue.navbar-inverse {
    background-color:rgba(1,35,83,1);
}

#navbar-darkblue select {
       background-color:rgba(1,35,83,1);
       color: white;
}

/* 
 *  fix for the height of the carousel at home page
 */
header.carousel {
    height: 70%;
}