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 { width: 800px; }
  41
  42 .diffbox {
  43     border: 1px #999999 solid;
  44     margin-top: 1.33em;
  45 }
  46 .diffauthor {
  47     font-weight: bold;
  48 }
  49 .diffchangesum {
  50     font-weight: bold;
  51 }
  52 .difftime {
  53     font-size: 66%;
  54     background-color: #dddddd;
  55 }
  56 .difftype {
  57     clear: both;
  58     font-size: 66%;
  59     font-weight: bold;
  60 }
  61 .diffadd {
  62     border-left: 5px #99ff99 solid;
  63     padding-left: 5px;
  64 }
  65 .diffdel {
  66     border-left: 5px #ffff99 solid;
  67     padding-left: 5px;
  68 }
  69 .diffrestore {
  70     clear: both;
  71     font-size: 66%;
  72     margin: 1.5em 0px;
  73 }
  74 a.varlink {
  75     text-decoration: none;
  76 }
  77