css/default.css

   1 body
   2 {
   3         margin: 0;
   4         font-family: Arial, Helvetica, sans-serif;
   5         font-size: 75%;
   6         background: white url('/devel/img/bg.png') repeat-x left 90px;
   7 }
   8
   9 a:link
  10 {
  11         color: rgb(0,90,192);
  12         text-decoration: none;
  13 }
  14 a:visited
  15 {
  16         color: rgb(0,56,112);
  17 }
  18 a:hover, a:active
  19 {
  20         text-decoration: underline;
  21 }
  22
  23 h1
  24 {
  25         margin-top: 8px;
  26         margin-bottom: 8px;
  27 }
  28
  29 #nav-menu
  30 {/*
  31         left: 0;
  32         top: 0;
  33         width: 100%;*/
  34         height: 24px;
  35         margin: 0;
  36         /*border: 2px outset blue;*/
  37         padding: 0;
  38         background-color: rgb(0,90,192);
  39         list-style-type: none;
  40 }
  41 .menu-left
  42 {
  43         float: left;
  44 }
  45 .menu-right
  46 {
  47         float: right;
  48 }
  49 #nav-menu a:link, #nav-menu a:visited
  50 {
  51         display: block;
  52         height: 14px;
  53         color: white;
  54         text-align: center;
  55         line-height: 100%;
  56         font-size: 14px;
  57         padding-top: 5px;
  58         padding-bottom: 5px;
  59         padding-left: 16px;
  60         padding-right: 16px;
  61         text-decoration: none;
  62 }
  63 #nav-menu a.selected
  64 {
  65         background-color: rgb(60,128,208);
  66         color: #FFE4B5;
  67         font-weight: bold;
  68 }
  69 #nav-menu a:hover, #nav-menu a:active
  70 {
  71         background-color: rgb(90,148,216);
  72 }
  73
  74 #header
  75 {
  76         clear: both;
  77         /*position: absolute;
  78         top: 24px;
  79         left: 0;
  80         width: 100%;*/
  81         height: 64px;
  82         background: #e5ecf5;
  83         border-bottom: 2px ridge rgb(60,128,208);
  84 }
  85
  86 #logo
  87 {
  88         float: left;
  89         margin: 8px;
  90         border: none;
  91 }
  92 #logo > img
  93 {
  94         border: none;
  95 }
  96
  97 #quick-search
  98 {
  99         float: right;
 100         position: relative;
 101         height: 48px;
 102         margin: 8px;
 103 }
 104 #quick-search-box
 105 {
 106         top: 500px;
 107 }
 108
 109 #main
 110 {
 111         /*position: absolute;
 112         top: 90px;
 113         width: 100%;*/
 114         margin: 12px;
 115 }
 116
 117 #content
 118 {
 119         float: left;
 120         width: 616px;
 121 }
 122
 123 #footer
 124 {
 125         clear: both;
 126         border-top: 2px ridge rgb(60,128,208);
 127         padding-top: 8px;
 128         padding-bottom: 8px;
 129         background: #e5ecf5;
 130         text-align: center;
 131 }
 132
 133 .pagination
 134 {
 135         clear: both;
 136 }