themes/wikilens/wikilens.css

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