+++ /dev/null
-/* 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; }