ui/static/css/topmenu.css

   1 /* this is to get the content below the navbar */
   2 body {
   3 }
   4
   5 /* center the buttons vertically in the header */
   6 div.topmenu { padding-top: 7px; }
   7 ul.logged-in {
   8     padding-top: 14px;
   9 }
  10 button.logged-in {
  11     font-size: small;
  12     margin-left: 5px;
  13 }
  14 li.username {
  15     margin-bottom: 10px;
  16     font-size: x-small;
  17 }