themes/wikilens/wikilens.css

   1 @import url(../default/phpwiki.css);
   2
   3 /**
   4  * WikiLens overrides
   5  */
   6 body {
   7     /* ivory #ffe #fffff0*/
   8     background: #FEFEFE;
   9     font-size: 90%; /* The default is too large. But enlarge monospace below */
  10     margin: 0;
  11 }
  12
  13 div.wikitext {
  14     margin-top: 0;
  15     margin-bottom: 0;
  16     background: #FEFEFE;
  17 }
  18
  19 td.leftnav {
  20     background: #F3F3F7;
  21     padding: 8px;
  22     /* "paper" borders */
  23     padding-left: 0.3em;
  24     padding-right: 0.2em;
  25     padding-top: 0.5ex;
  26     padding-bottom: 0.5ex;
  27     margin: 0;
  28     border-right: 1px #e6e6fa solid; /* lavender */
  29     border-bottom: 1px #e6e6fa solid; /* lavender */
  30 }
  31
  32 img {
  33     border: 0;
  34 }
  35
  36 #logo img {
  37     margin: 0;
  38     float: left;
  39 }
  40
  41 #toolbar {
  42     margin: 1.5ex 1em 0 1em;
  43 }
  44
  45 /* For emacs users
  46  *
  47  * Local Variables:
  48  * mode: c
  49  * c-file-style: cc-mode
  50  * End:
  51  */