@CHARSET "UTF-8";

body {
    background:#fafafa;}
header {margin:0 0 20px 0;background:#fff;padding:10px 0;border:0px solid #e7e7e7;}
header #logo img {height:100px;}
header .navbar-brand img {height:50px}

body#index header {margin-bottom:0;}

#main .container #content .tab-panel.course #references ul {
    margin:0.25em 0;
    padding:0;
}
#main .container #content .tab-panel.course #references li {
    margin:0;
    padding:0.75em 0;
}

#support {display:none;}

#sidebar .element.language a {display:inline !important;color:blue !important;}