htdocs/common.css

   1 /* block definitions */
   2
   3 /* header */
   4
   5 #header {
   6   color: white;
   7   background-color: #444444;
   8 }
   9
  10 #header .logo {
  11   float: left;
  12   width: 190px;
  13 }
  14
  15 #header .titlebar {
  16   margin-left: 210px;
  17   padding: 5px;
  18 }
  19
  20 #header .site {
  21   display: inline;
  22   font-size: 20pt;
  23   font-weight: bold;
  24   letter-spacing: 4px;
  25 }
  26
  27 #header .page {
  28   display: inline;
  29   padding-left: 10px;
  30   font-size: 16pt;
  31   font-weight: bold;
  32 }
  33
  34 /* the debugging banner */
  35
  36 #debug {
  37   background-color: #777777;
  38   font-size: 11pt;
  39 }
  40
  41 #debug .title {
  42   display: inline;
  43   padding-left: 5px;
  44   padding-right: 10px;
  45 }
  46
  47 #debug .item {
  48   display: inline;
  49   background-color: #999999;
  50   padding-left: 5px;
  51   padding-right: 5px;
  52   border: 1px black solid;
  53 }
  54
  55 #debug .item:hover {
  56   background-color: #dddddd;
  57 }
  58
  59 #debug .hide {
  60   display: none;
  61   background-color: white;
  62   padding: 15px;
  63   border: 1px black solid;
  64   position: fixed;
  65 }
  66
  67 #call-trace:hover div.hide { display: block; }
  68
  69 #db-trace:hover div.hide { display: block; }
  70
  71 #plugins-trace:hover div.hide { display: block; }
  72
  73 /* the sidebar */
  74
  75 #sidebar {
  76   float: left;
  77   margin: 5px;
  78   padding: 5px;
  79   font-size: 10pt;
  80 }
  81
  82 /* the main display area */
  83
  84 #main {
  85   padding: 5px;
  86   margin-right: 40px;
  87   margin-left: 210px;
  88   font-size: 11pt;
  89 }
  90
  91 /* the footer */
  92
  93 #footer {
  94   clear: both;
  95   text-align: center;
  96   padding: 10px;
  97   font-size: 8pt;
  98 }
  99
 100
 101 /* element redefinitions */
 102 body
 103 {
 104   background-color:white;
 105   border:0;
 106   margin: 0;
 107   font-family:verdana,arial,sans-serif;
 108 }
 109
 110 a {
 111   color: #70100c;
 112 }
 113
 114 img {
 115   border:0;
 116 }
 117
 118 h2 {
 119   font-size: 14pt;
 120 }
 121
 122 h3 {
 123   font-size: 12pt;
 124 }
 125
 126
 127 /* classic menu */
 128 .menu {
 129   margin: 0px;
 130   padding: 0px;
 131   text-align: left;
 132   width: 180px;
 133 }
 134
 135 .menu a {
 136   text-decoration: none;
 137   display: block;
 138 }
 139
 140 .menu .item a {
 141   padding-top: 2px;
 142   padding-bottom: 3px;
 143   padding-left: 10px;
 144   padding-right: 10px;
 145   background-color: #fbd080;
 146   color: black;
 147 }
 148
 149 .menu .item a.odd {
 150   background-color: #f9b550;
 151   color: inherit;
 152 }
 153
 154 .menu .item a:hover {
 155   background-color: #c06040;
 156   color: white;
 157 }
 158
 159 .menu .item a.top {
 160   padding-left: 20px;
 161   font-weight: bold;
 162   background-color: #901510;
 163   color: white;
 164 }
 165
 166 /* PHP layers menu styling */
 167
 168 .phplmnormal img.imgs {
 169   border: 0;
 170   vertical-align: top;
 171 }
 172
 173 /* element redefinitions */
 174 a.action
 175 {
 176   font-size: 9pt;
 177 }
 178
 179 table.light
 180 {
 181   border-collapse: collapse;
 182   border:1px #901510 solid;
 183   background-color: #fbd080;
 184   color: black;
 185 }
 186
 187 table.light td
 188 {
 189   padding:3px;
 190   border:0;
 191 }
 192
 193 table.light th
 194 {
 195   background-color: #901510;
 196   color: white;
 197   padding: 2px 5px 2px 5px;
 198 }
 199
 200 table.light tr.odd
 201 {
 202   background-color: #f9b550;
 203   color: inherit;
 204 }
 205
 206 /* file viewing */
 207 img.fileicon {
 208   padding-left: 6px;
 209   padding-right: 6px;
 210 }
 211
 212 /* diff viewing */
 213 .diff td {
 214   vertical-align: top;
 215 }
 216
 217 .diff .change {
 218   background-color: #ffff77;
 219 }
 220
 221 .diff .delete {
 222   background-color: #ffaaaa;
 223 }
 224
 225 .diff .add {
 226   background-color: #aaffaa;
 227 }
 228
 229 /* plugin viewer styles */
 230 .plugins .name {
 231   font-weight: bold;
 232 }
 233
 234
 235 .plugins .description {
 236   font-size: 9pt;
 237 }
 238
 239 /* log browsing */
 240 .logdate {
 241   font-size: 10pt;
 242 }
 243
 244 .logauthor {
 245   font-size: 10pt;
 246   font-weight: bold;
 247 }
 248
 249 .filesize {
 250   font-size: 10pt;
 251 }
 252
 253