htdocs/css/wiki.css

   1 div.frame {
   2     margin: 0px;
   3     padding: 8px 2px;
   4     float: right;
   5     margin: 5px 0px 5px 5px;
   6 }
   7
   8 table.quickref       {
   9     margin-top 1em: padding: 0px;
  10     border: 1px dotted #aaaaaa;
  11     font-size: 95%;
  12 }
  13
  14 table.quickref tr    {
  15     padding 0px;
  16     margin: 0px;
  17 }
  18
  19 table.quickref td    {
  20     margin: 0px;
  21     padding: 4px;
  22     border-top: 1px dotted #aaaaaa;
  23 }
  24
  25 #text { width:800px; }
  26 .diffbox { border:1px #999999 solid; margin-top:1.33em; }
  27 .diffauthor { font-weight:bold; }
  28 .diffchangesum { font-weight:bold; }
  29 .difftime { font-family:verdana,sans-serif; font-size:66%; background-color:#dddddd; }
  30 .difftype { clear:both; font-family:verdana,sans-serif; font-size:66%; font-weight:bold; }
  31 .diffadd { border-left:5px #99ff99 solid; padding-left:5px; }
  32 .diffdel { border-left:5px #ffff99 solid; padding-left:5px; }
  33 .diffrestore { clear:both; font-family:verdana,sans-serif; font-size:66%; margin:1.5em 0px; }
  34 a.varlink { text-decoration:none; }
  35