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