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