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:    0px;
  22   margin-bottom: 0px;
  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: 0px;
  35   border-right: 1px #e6e6fa solid; /* lavender */
  36   border-bottom: 1px #e6e6fa solid; /* lavender */
  37 }
  38
  39 #logo img {
  40   margin: 0;
  41   float: left;
  42   border: 0;
  43 }
  44
  45 #toolbar {
  46   margin: 1.5ex 1em 0 1em;
  47 }
  48
  49 /* For emacs users
  50  *
  51  * Local Variables:
  52  * mode: c
  53  * c-file-style: cc-mode
  54  * End:
  55  */