ui/static/css/topmenu.css

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