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 img.toolbar:hover {
  46     cursor: pointer;
  47 }
  48
  49 table.sortable th.header {
  50     background-image: url(../default/buttons/sort_none.gif);
  51     cursor: pointer;
  52     background-repeat: no-repeat;
  53     background-position: center right;
  54     padding-right: 20px;
  55 }
  56
  57 table.sortable th.headerSortUp {
  58     background-image: url(../default/buttons/sort_up.gif);
  59     cursor: pointer;
  60     background-repeat: no-repeat;
  61     background-position: center right;
  62     padding-right: 20px;
  63 }
  64
  65 table.sortable th.headerSortDown {
  66     background-image: url(../default/buttons/sort_down.gif);
  67     cursor: pointer;
  68     background-repeat: no-repeat;
  69     background-position: center right;
  70     padding-right: 20px;
  71 }