htdocs/css/wiki.css

   1 table.wiki {
   2     margin-left: auto;
   3     margin-right: auto;
   4     border: 1px dotted gray;
   5 }
   6
   7 table.wiki td {
   8     padding: 2px 1em;
   9     vertical-align: middle;
  10     text-align: center;
  11 }
  12
  13 table.wiki select {
  14     font-size: 80%;
  15 }
  16
  17 div.frame br {
  18     height: 0px;
  19     clear: both;
  20 }
  21
  22 table.quickref {
  23     margin-top: 1em;
  24     padding: 0px;
  25     border: 1px dotted #aaaaaa;
  26     font-size: 95%;
  27 }
  28
  29 table.quickref tr {
  30     padding: 0px;
  31     margin: 0px;
  32 }
  33
  34 table.quickref td {
  35     margin: 0px;
  36     padding: 4px;
  37     border-top: 1px dotted #aaaaaa;
  38 }
  39
  40 #text {
  41     width: 800px;
  42 }
  43
  44 .diffbox {
  45     border: 1px #999999 solid;
  46     margin-top: 1.33em;
  47 }
  48 .diffauthor {
  49     font-weight: bold;
  50 }
  51 .diffchangesum {
  52     font-weight: bold;
  53 }
  54 .difftime {
  55     font-size: 66%;
  56     background-color: #dddddd;
  57 }
  58 .difftype {
  59     clear: both;
  60     font-size: 66%;
  61     font-weight: bold;
  62 }
  63 .diffadd {
  64     border-left: 5px #99ff99 solid;
  65     padding-left: 5px;
  66 }
  67 .diffdel {
  68     border-left: 5px #ffff99 solid;
  69     padding-left: 5px;
  70 }
  71 .diffrestore {
  72     clear: both;
  73     font-size: 66%;
  74     margin: 1.5em 0px;
  75 }
  76 a.varlink {
  77     text-decoration: none;
  78 }
  79 a.createlink {
  80     font-size: smaller;
  81     vertical-align: super;
  82     line-height: normal;
  83     text-decoration: none;
  84 }