--- /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; }