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 }
 196
 197 .recentchanges td.rccomment {
 198         border: none;
 199         border-bottom: 1pt solid #824900;
 200 }
 201
 202 .rcdaybreak td {
 203         background: #633500;
 204         border: none;
 205 }
 206
 207 .rcdaybreak td a {
 208         font-size: 0.88em;
 209 }
 210
 211 .rcicon1, .rcicon2 {
 212         text-align: center;
 213 }
 214
 215 .rcpagelink {
 216         width: 33%;
 217 }
 218
 219 .rctime {
 220         font-size: 0.88em;
 221         white-space: nowrap;
 222 }
 223
 224 .rceditor {
 225         white-space: nowrap;
 226         font-size: 0.88em;
 227 }
 228
 229 .rccomment {
 230         width: 50%;
 231         font-size: 0.88em;
 232 }
 233
 234
 235 /* User Preferences */
 236
 237 .userpref table, .userpref td {
 238         border: none;
 239 }
 240
 241 /* CSS for new code_area markup used by Colorizer and ParserBase */
 242
 243 div.codearea { /* the div makes the border */
 244         margin: 0.5em 0;
 245         padding: 0;
 246         border: 1pt solid #AEBDCC;
 247         background-color: #F3F5F7;
 248         color: black;
 249 }
 250
 251 div.codearea pre { /* the pre has no border and is inside the div */
 252         margin: 0;
 253         padding: 10pt;
 254         border: none;
 255 }
 256
 257 a.codenumbers { /* format of the line numbering link */
 258         margin: 0 10pt;
 259         font-size: 0.85em;
 260         color: gray;
 261 }
 262
 263 /* format of certain syntax spans */
 264 div.codearea pre span.LineNumber {color: gray;}
 265 div.codearea pre span.ID         {color: #000000;}
 266 div.codearea pre span.Operator   {color: #0000C0;}
 267 div.codearea pre span.Char       {color: #004080;}
 268 div.codearea pre span.Comment    {color: #008000;}
 269 div.codearea pre span.Number     {color: #0080C0;}
 270 div.codearea pre span.String     {color: #004080;}
 271 div.codearea pre span.SPChar     {color: #0000C0;}
 272 div.codearea pre span.ResWord    {color: #A00000;}
 273 div.codearea pre span.ConsWord   {color: #008080; font-weight: bold;}
 274 div.codearea pre span.Error      {color: #FF8080; border: solid 1.5pt #FF0000;}
 275 div.codearea pre span.ResWord2   {color: #0080ff; font-weight: bold;}
 276 div.codearea pre span.Special    {color: #0000ff;}
 277 div.codearea pre span.Preprc     {color: #803999;}
 278
 279 /* for diff parser */
 280 div.codearea pre span.DiffAdded   {color: #4876FF;}
 281 div.codearea pre span.DiffRemoved {color: #FF0000;}
 282 div.codearea pre span.DiffChanged {color: #FF7F50;}
 283 div.codearea pre span.DiffSeparator {color: #228B22; font-weight: bold}
 284
 285 /* Search results */
 286 .advancedsearch {
 287     border: 1pt solid #ADB9CC;
 288 }
 289
 290 .advancedsearch td {
 291     vertical-align: top;
 292     background-color: #E7E7E7;
 293     border: 0px;
 294 }
 295
 296 .advancedsearch td.searchfor {
 297     font-weight: bold;
 298 }
 299
 300 .advancedsearch input {
 301     border: 1px solid #ADB9CC;
 302     background-color: #fff;
 303 }
 304
 305 .advancedsearch input[disabled] {
 306     background-color: #eee;
 307 }
 308
 309 .advancedsearch td.submit {
 310     border-top: 1px solid #ADB9CC;
 311     background-color: #fff;
 312     text-align: right;
 313 }
 314
 315 .advancedsearch optioni, select {
 316     border: 1px solid #ADB9CC;
 317     background-color: #fff;
 318 }
 319
 320
 321 .searchresults dt {
 322     margin-top: 1em;
 323     font-weight: normal;
 324 }
 325
 326 .searchresults dd, .searchresults p {
 327     font-size: 0.85em;
 328 }
 329
 330 .searchresults .searchhitinfobar {
 331     color: #008000;
 332     margin-left: 15px;
 333     margin-top: 0;
 334 }
 335
 336 p.searchstats {
 337     font-size: 0.8em;
 338     text-align: right;
 339     width: 100%;
 340     background-color: #E6EAF0;
 341     border-top: 1px solid #9088DC;
 342     padding: 2px;
 343 }
 344
 345 p.searchhint {
 346     background-color: #E6EAF0;
 347     border: 1px solid #9088DC;
 348     padding: 2px;
 349 }
 350
 351 .searchpages {
 352     margin-left: auto;
 353     margin-right: auto;
 354 }
 355
 356 .searchpages tr, .searchpages td {
 357     border: 0;
 358     padding: 5px;
 359     margin: 0;
 360     text-align: center;
 361     vertical-align: middle;
 362     color: #b93a58;
 363     font-weight: bold;
 364     font-size: 1.05em;
 365 }
 366
 367 .searchpages td a, .searchpages td a:link {
 368     text-decoration: underline;
 369 }
 370
 371 /* MonthCalendar css */
 372
 373 /* days without and with pages linked to them */
 374 a.cal-emptyday {
 375     color: #777777;
 376     text-align: center;
 377 }
 378 a.cal-usedday {
 379     color: #000000;
 380     font-weight: bold;
 381     text-align: center;
 382 }
 383 /* general stuff: workdays, weekend, today */
 384 td.cal-workday {
 385     background-color: #DDDDFF;
 386     text-align: center;
 387 }
 388 td.cal-weekend {
 389     background-color: #FFDDDD;
 390     text-align: center;
 391 }
 392 td.cal-today {
 393     background-color: #CCFFCC;
 394     border-style: solid;
 395     border-width: 2pt;
 396     text-align: center;
 397 }
 398 /* invalid places on the monthly calendar sheet */
 399 td.cal-invalidday {
 400     background-color: #CCCCCC;
 401 }
 402 /* links to prev/next month/year */
 403 a.cal-link {
 404     color: #000000;
 405     text-decoration: none;
 406 }
 407 th.cal-header {
 408     background-color: #DDBBFF;
 409     text-align: center;
 410 }
 411
 412 /* for MonthCalendar mouseover info boxes */
 413 TABLE.tip {
 414     color: black;
 415     background-color: #FF8888;
 416     font-size: small;
 417     font-weight: normal;
 418     border-style: solid;
 419     border-width: 1px;
 420 }
 421
 422 TH.tip {
 423     background-color: #FF4444;
 424     font-weight: bold;
 425     text-align: center;
 426 }
 427
 428 TD.tip {
 429     text-align: left;
 430 }
 431 *[dir="rtl"] TD.tip {
 432     text-align: right;
 433 }
 434
 435 /* end MonthCalendar stuff */
 436
 437
 438 /* Give portrait pictures a bit of a margin */
 439 .Portret img {
 440     margin: 10px;
 441 }