htdocs/css/wiki.css

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