themes/wikilens/wikilens.css

   1 /**
   2  * We have two possibilities to override the default:
   3  * 1. import is ns4 incompatible
   4  * 2. add a 2nd css in themeinfo.php
   5  */
   6
   7 @import url(../default/phpwiki.css);
   8
   9 /**
  10  * WikiLens overrides
  11  */
  12 body {
  13   /* ivory #ffe #fffff0*/
  14   background: #FEFEFE;
  15   font-size: 90%; /* The default is too large. But enlarge monospace below */
  16   margin: 0;
  17 }
  18
  19 div.wikitext {
  20   margin-top:    0;
  21   margin-bottom: 0;
  22   background: #FEFEFE;
  23 }
  24
  25 td.leftnav {
  26   background: #F3F3F7;
  27   padding: 8px;
  28   /* "paper" borders */
  29   padding-left:  0.3em;
  30   padding-right: 0.2em;
  31   padding-top:    0.5ex;
  32   padding-bottom: 0.5ex;
  33   margin: 0;
  34   border-right: 1px #e6e6fa solid; /* lavender */
  35   border-bottom: 1px #e6e6fa solid; /* lavender */
  36 }
  37
  38 img { border: 0; }
  39
  40 #logo img {
  41   margin: 0;
  42   float: left;
  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  */