static/deadfoxjunction/css/common.css

   1 /*  common.css - MoinMoin Default Styles
   2
   3 Copyright (c) 2001, 2002, 2003 by Juergen Hermann
   4 */
   5
   6 /* content styles */
   7
   8 html {
   9         background-color: white;
  10         color: black;
  11         font-family: Arial, Lucida Grande, sans-serif;
  12         font-size: 1em;
  13 }
  14
  15 body {
  16         margin: 0;
  17 }
  18
  19 .center {
  20         text-align: center;
  21 }
  22
  23 li p {
  24         margin: .25em 0;
  25 }
  26
  27 li.gap {
  28     margin-top: 0.5em;
  29 }
  30
  31 dt {
  32     margin-top: 0.5em;
  33     font-weight: bold;
  34 }
  35
  36 dd {
  37     margin-top: 0;
  38     margin-bottom: 0;
  39 }
  40
  41 dd p {
  42     margin: 0.25em 0;
  43 }
  44
  45 a, img, img.drawing {
  46         border: 0;
  47 }
  48
  49 pre {
  50         border: 1pt solid #AEBDCC;
  51         background-color: #F3F5F7;
  52         padding: 5pt;
  53         font-family: courier, monospace;
  54         white-space: pre;
  55         /* begin css 3 or browser specific rules - do not remove!
  56         see: http://forums.techguy.org/archive/index.php/t-249849.html */
  57     white-space: pre-wrap;
  58     word-wrap: break-word;
  59     white-space: -moz-pre-wrap;
  60     white-space: -pre-wrap;
  61     white-space: -o-pre-wrap;
  62     /* end css 3 or browser specific rules */
  63 }
  64
  65 pre.comment {
  66     background-color: #CCCCCC;
  67     color: red;
  68     padding: 0;
  69     margin: 0;
  70     border: 0;
  71 }
  72
  73 pre.comment:before {
  74     content: url(../img/attention.png);
  75 }
  76
  77
  78 /* .comment css definition must be top of .red/.green/.blue or it won't work */
  79 .comment { color: #555555; background-color: #DDDDFF; }
  80
  81 .red { background-color: #FFCCCC; }
  82 .green { background-color: #CCFFCC; }
  83 .blue { background-color: #CCCCFF; }
  84
  85 .solid { border: 2px solid #000000; padding: 2px; }
  86 .dashed { border: 2px dashed #000000; padding: 2px; }
  87 .dotted { border: 2px dotted #000000; padding: 2px; }
  88
  89
  90 table
  91 {
  92         margin: 0.5em 0 0 0.5em;
  93         border-collapse: collapse;
  94 }
  95
  96 th, td
  97 {
  98         padding: 0.25em 0.5em 0.25em 0.5em;
  99         border: 1pt solid #ADB9CC;
 100 }
 101
 102 td p {
 103         margin: 0;
 104         padding: 0;
 105 }
 106
 107 /* TableOfContents macro */
 108 .table-of-contents { border: 1px solid #bbbbbb;
 109                      color: black; background-color: #eeeeee;
 110                      font-size: small;
 111                      text-align:left;
 112                      margin: 0.5em; padding-left: 2em;
 113                      width:50%; }
 114 .table-of-contents ol { margin:0; margin-left:1em;
 115                         list-style-type:decimal; }
 116 .table-of-contents ul { margin:0;
 117                         list-style-type:none; }
 118 .table-of-contents-heading { font-weight:bold; padding:0; margin:0; }
 119
 120
 121 .footnotes div {
 122         width: 5em;
 123         border-top: 1pt solid gray;
 124 }
 125
 126 .footnotes ol {
 127         padding: 0 2em;
 128         margin: 0 0 1em;
 129 }
 130
 131 .footnotes li {
 132 }
 133
 134 .seperator {
 135     color: gray;
 136 }
 137
 138 #pagebottom {clear: both;}
 139
 140 /* standard rule ---- */
 141 hr {
 142     height: 1pt;
 143     background-color: #9C9C9C;
 144     border: 0;
 145 }
 146
 147 /* custom rules ----- to ---------- */
 148 .hr1 {height: 2pt;}
 149 .hr2 {height: 3pt;}
 150 .hr3 {height: 4pt;}
 151 .hr4 {height: 5pt;}
 152 .hr5 {height: 6pt;}
 153 .hr6 {height: 7pt;}
 154
 155 /* Replacement for deprecated html 3 <u> element and html 4 <strike> */
 156 .u {text-decoration: underline;}
 157 .strike {text-decoration: line-through;}
 158
 159 /* eye catchers */
 160 .warning
 161 {
 162         color: red;
 163 }
 164
 165 .error
 166 {
 167         color: red;
 168 }
 169
 170 strong.highlight
 171 {
 172         background-color: #CCE0FF;
 173         padding: 1pt;
 174 }
 175
 176
 177 /* Recent changes */
 178
 179 .rcrss {
 180         float: right;
 181         margin: 0;
 182 }
 183
 184 .recentchanges[dir="rtl"] .rcrss {
 185         float: left;
 186 }
 187
 188 .recentchanges table {
 189         clear: both;
 190 }
 191
 192 .recentchanges td {
 193         vertical-align: top;
 194         border: none;
 195         border-bottom: 1pt solid #E6EAF0;
 196         background: #F2F4F7;
 197 }
 198
 199 .rcdaybreak td {
 200         background: #B8C5D9;
 201         border: none;
 202 }
 203
 204 .rcdaybreak td a {
 205         font-size: 0.88em;
 206 }
 207
 208 .rcicon1, .rcicon2 {
 209         text-align: center;
 210 }
 211
 212 .rcpagelink {
 213         width: 33%;
 214 }
 215
 216 .rctime {
 217         font-size: 0.88em;
 218         white-space: nowrap;
 219 }
 220
 221 .rceditor {
 222         white-space: nowrap;
 223         font-size: 0.88em;
 224 }
 225
 226 .rccomment {
 227         width: 50%;
 228         color: gray;
 229         font-size: 0.88em;
 230 }
 231
 232
 233 /* User Preferences */
 234
 235 .userpref table, .userpref td {
 236         border: none;
 237 }
 238
 239 /* CSS for new code_area markup used by Colorizer and ParserBase */
 240
 241 div.codearea { /* the div makes the border */
 242         margin: 0.5em 0;
 243         padding: 0;
 244         border: 1pt solid #AEBDCC;
 245         background-color: #F3F5F7;
 246         color: black;
 247 }
 248
 249 div.codearea pre { /* the pre has no border and is inside the div */
 250         margin: 0;
 251         padding: 10pt;
 252         border: none;
 253 }
 254
 255 a.codenumbers { /* format of the line numbering link */
 256         margin: 0 10pt;
 257         font-size: 0.85em;
 258         color: gray;
 259 }
 260
 261 /* format of certain syntax spans */
 262 div.codearea pre span.LineNumber {color: gray;}
 263 div.codearea pre span.ID         {color: #000000;}
 264 div.codearea pre span.Operator   {color: #0000C0;}
 265 div.codearea pre span.Char       {color: #004080;}
 266 div.codearea pre span.Comment    {color: #008000;}
 267 div.codearea pre span.Number     {color: #0080C0;}
 268 div.codearea pre span.String     {color: #004080;}
 269 div.codearea pre span.SPChar     {color: #0000C0;}
 270 div.codearea pre span.ResWord    {color: #A00000;}
 271 div.codearea pre span.ConsWord   {color: #008080; font-weight: bold;}
 272 div.codearea pre span.Error      {color: #FF8080; border: solid 1.5pt #FF0000;}
 273 div.codearea pre span.ResWord2   {color: #0080ff; font-weight: bold;}
 274 div.codearea pre span.Special    {color: #0000ff;}
 275 div.codearea pre span.Preprc     {color: #803999;}
 276
 277 /* for diff parser */
 278 div.codearea pre span.DiffAdded   {color: #4876FF;}
 279 div.codearea pre span.DiffRemoved {color: #FF0000;}
 280 div.codearea pre span.DiffChanged {color: #FF7F50;}
 281 div.codearea pre span.DiffSeparator {color: #228B22; font-weight: bold}
 282
 283 /* Search results */
 284 .advancedsearch {
 285     border: 1pt solid #ADB9CC;
 286 }
 287
 288 .advancedsearch td {
 289     vertical-align: top;
 290     background-color: #E7E7E7;
 291     border: 0px;
 292 }
 293
 294 .advancedsearch td.searchfor {
 295     font-weight: bold;
 296 }
 297
 298 .advancedsearch input {
 299     border: 1px solid #ADB9CC;
 300     background-color: #fff;
 301 }
 302
 303 .advancedsearch input[disabled] {
 304     background-color: #eee;
 305 }
 306
 307 .advancedsearch td.submit {
 308     border-top: 1px solid #ADB9CC;
 309     background-color: #fff;
 310     text-align: right;
 311 }
 312
 313 .advancedsearch optioni, select {
 314     border: 1px solid #ADB9CC;
 315     background-color: #fff;
 316 }
 317
 318
 319 .searchresults dt {
 320     margin-top: 1em;
 321     font-weight: normal;
 322 }
 323
 324 .searchresults dd, .searchresults p {
 325     font-size: 0.85em;
 326 }
 327
 328 .searchresults .searchhitinfobar {
 329     color: #008000;
 330     margin-left: 15px;
 331     margin-top: 0;
 332 }
 333
 334 p.searchstats {
 335     font-size: 0.8em;
 336     text-align: right;
 337     width: 100%;
 338     background-color: #E6EAF0;
 339     border-top: 1px solid #9088DC;
 340     padding: 2px;
 341 }
 342
 343 p.searchhint {
 344     background-color: #E6EAF0;
 345     border: 1px solid #9088DC;
 346     padding: 2px;
 347 }
 348
 349 .searchpages {
 350     margin-left: auto;
 351     margin-right: auto;
 352 }
 353
 354 .searchpages tr, .searchpages td {
 355     border: 0;
 356     padding: 5px;
 357     margin: 0;
 358     text-align: center;
 359     vertical-align: middle;
 360     color: #b93a58;
 361     font-weight: bold;
 362     font-size: 1.05em;
 363 }
 364
 365 .searchpages td a, .searchpages td a:link {
 366     text-decoration: underline;
 367 }
 368
 369 /* MonthCalendar css */
 370
 371 /* days without and with pages linked to them */
 372 a.cal-emptyday {
 373     color: #777777;
 374     text-align: center;
 375 }
 376 a.cal-usedday {
 377     color: #000000;
 378     font-weight: bold;
 379     text-align: center;
 380 }
 381 /* general stuff: workdays, weekend, today */
 382 td.cal-workday {
 383     background-color: #DDDDFF;
 384     text-align: center;
 385 }
 386 td.cal-weekend {
 387     background-color: #FFDDDD;
 388     text-align: center;
 389 }
 390 td.cal-today {
 391     background-color: #CCFFCC;
 392     border-style: solid;
 393     border-width: 2pt;
 394     text-align: center;
 395 }
 396 /* invalid places on the monthly calendar sheet */
 397 td.cal-invalidday {
 398     background-color: #CCCCCC;
 399 }
 400 /* links to prev/next month/year */
 401 a.cal-link {
 402     color: #000000;
 403     text-decoration: none;
 404 }
 405 th.cal-header {
 406     background-color: #DDBBFF;
 407     text-align: center;
 408 }
 409
 410 /* for MonthCalendar mouseover info boxes */
 411 TABLE.tip {
 412     color: black;
 413     background-color: #FF8888;
 414     font-size: small;
 415     font-weight: normal;
 416     border-style: solid;
 417     border-width: 1px;
 418 }
 419
 420 TH.tip {
 421     background-color: #FF4444;
 422     font-weight: bold;
 423     text-align: center;
 424 }
 425
 426 TD.tip {
 427     text-align: left;
 428 }
 429 *[dir="rtl"] TD.tip {
 430     text-align: right;
 431 }
 432
 433 /* end MonthCalendar stuff */
 434