dist/assets/css/common.css

   1 body {
   2   font-size: 0.85em;
   3 }
   4
   5 header {
   6   width: 100%;
   7   padding: 5px 15px;
   8   z-index: 5;
   9 }
  10
  11 header .brand {
  12   white-space: nowrap;
  13 }
  14
  15 header .brand a:hover{
  16   text-decoration: none;
  17 }
  18
  19 header .brand h1 {
  20   display: inline;
  21   font-size: 1.5em;
  22   color: #333;
  23 }
  24
  25 header .brand > img {
  26   display: inline-block;
  27   margin-right: 5px;
  28   margin-top: -5px;
  29 }
  30
  31 header #last-updated {
  32   font-size: 0.7em;
  33   white-space: nowrap;
  34   text-align: center;
  35 }
  36
  37 header .dropdown-menu {
  38   z-index: 1005;
  39 }
  40
  41 footer {
  42   text-align: center;
  43   padding: 2em 0;
  44   font-size: 0.8em;
  45   clear: both;
  46   color: #333;
  47 }
  48
  49 footer p {
  50   margin: 1em;
  51 }
  52
  53 #error-overlay {
  54   text-align: center;
  55   font-style: italic;
  56   padding: 2em;
  57   background-color: #ffa0a0;
  58   margin-bottom: 2em;
  59 }
  60
  61 .btn-outline-secondary {
  62   background-color: white;
  63 }