ui/static/css/topmenu.css

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