/* this is to get the content below the navbar */
body {
    padding-top: 60px;
    padding-bottom: 20px;
}

/* center the buttons vertically in the header */
div.topmenu { padding-top: 7px; }
ul.logged-in { padding-top: 12px; }
button#logout { 
/*    margin-left: 8px;  */
    margin-bottom: 10px; 
}
ul.logged-in { font-size: x-small; }
button.logged-in { font-size: small; }