themes/smaller/phpwiki.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  * Wiki
  12  */
  13 body {
  14   /* ivory #ffe #fffff0*/
  15   background: #dddddd;
  16   /* background: #000099; */
  17   font-family: Arial, Helvetica, sans-serif;
  18   font-size: 80%; /* The default is too large. But enlarge monospace below */
  19   /*margin: 1.5ex 1em; */
  20 }
  21
  22 /**
  23  * Link styles
  24  */
  25 div#navbuttons a.wikiaction, div#navbuttons a.wikiadmin {
  26   background-color: #dddddd;
  27   border: 0;
  28   -moz-appearance: none;
  29   -moz-box-sizing: content-box;
  30   -moz-border-radius: 0;
  31 }
  32 .wiki, .named-wiki {
  33   text-decoration: none;
  34   font-weight: normal;
  35 }
  36
  37 h1 { margin: 0; font-size: 140% }
  38 pre { font-size: 110% }
  39 td { font-size: 80% }
  40
  41
  42 /* For emacs users
  43  *
  44  * Local Variables:
  45  * mode: c
  46  * c-file-style: cc-mode
  47  * End:
  48  */