1 /* this is to get the content below the navbar */
7 /* center the buttons vertically in the header */
8 div.topmenu { padding-top: 7px; }
9 ul.logged-in { padding-top: 12px; }
11 /* margin-left: 8px; */
14 ul.logged-in { font-size: x-small; }
15 button.logged-in { font-size: small; }