themes/wikilens/wikilens.css

   1 @import url(../default/phpwiki.css);
   2
   3 /**
   4  * WikiLens overrides
   5  */
   6 body {
   7     /* ivory #ffe #fffff0*/
   8     background: #FEFEFE;
   9     font-size: 90%; /* The default is too large. But enlarge monospace below */
  10     margin: 0;
  11 }
  12
  13 div.wikitext {
  14     margin-top: 0;
  15     margin-bottom: 0;
  16     background: #FEFEFE;
  17 }
  18
  19 td.leftnav {
  20     background: #F3F3F7;
  21     padding: 8px;
  22     /* "paper" borders */
  23     padding-left: 0.3em;
  24     padding-right: 0.2em;
  25     padding-top: 0.5ex;
  26     padding-bottom: 0.5ex;
  27     margin: 0;
  28     border-right: 1px #e6e6fa solid; /* lavender */
  29     border-bottom: 1px #e6e6fa solid; /* lavender */
  30 }
  31
  32 img {
  33     border: 0;
  34 }
  35
  36 #logo img {
  37     margin: 0;
  38     float: left;
  39 }
  40
  41 #toolbar {
  42     margin: 1.5ex 1em 0 1em;
  43 }
  44
  45 table.sortable th.header {
  46     background-image: url(../default/buttons/sort_none.gif);
  47     cursor: pointer;
  48     background-repeat: no-repeat;
  49     background-position: center right;
  50     padding-right: 20px;
  51 }
  52
  53 table.sortable th.headerSortUp {
  54     background-image: url(../default/buttons/sort_up.gif);
  55     cursor: pointer;
  56     background-repeat: no-repeat;
  57     background-position: center right;
  58     padding-right: 20px;
  59 }
  60
  61 table.sortable th.headerSortDown {
  62     background-image: url(../default/buttons/sort_down.gif);
  63     cursor: pointer;
  64     background-repeat: no-repeat;
  65     background-position: center right;
  66     padding-right: 20px;
  67 }