docs/media/banner.css

   1 body
   2 {
   3         background-color: #EEEEEE;
   4         margin: 0px;
   5         padding: 0px;
   6 }
   7
   8 /* Banner (top bar) classes */
   9
  10 .banner {  }
  11
  12 .banner-menu
  13 {
  14         text-align: right;
  15         clear: both;
  16         padding: .5em;
  17         border-top: 2px solid #AAAAAA;
  18 }
  19
  20 .banner-title
  21 {
  22         text-align: right;
  23         font-size: 20pt;
  24         font-weight: bold;
  25         margin: .2em;
  26 }
  27
  28 .package-selector
  29 {
  30         background-color: #DDDDDD;
  31         border: 1px solid #AAAAAA;
  32         color: #000090;
  33 }