html/_css/easyweb.css

   1 /* Stylesheet for EWM.
   2  * $Id: easyweb.css,v 1.5 2004/09/25 13:17:00 rich Exp $
   3  */
   4
   5 /* Based on the standard stylesheet. */
   6 @import url("/_css/standard.css");
   7
   8 body {
   9   margin-top: 4em;
  10   margin-left: 8em;
  11 }
  12
  13 /* Make the top menu disappear.  It's only appropriate for wikis. */
  14 ul#topmenu {
  15   display: none;
  16 }
  17
  18 /* This div surrounds the bottom menu and edit menu.
  19  * Put those menus on the right, and revert it to a list style.
  20  */
  21 div#menu_div {
  22   position: absolute;
  23
  24   margin: 0px;
  25   padding: 0px;
  26   border: 0px;
  27
  28   top: 3em;
  29   left: 0px;
  30   width: 7.5em;
  31 }
  32
  33 ul#bottommenu {
  34   list-style-type: square;
  35 }
  36
  37 ul#bottommenu li {
  38   display: list-item;
  39
  40   padding-left: 0px;
  41   margin-left: 2px;
  42   border-left: none;
  43   margin-bottom: 0.7em;
  44 }
  45
  46 ul#editmenu {
  47   margin-top: 4em;
  48
  49   list-style-type: square;
  50
  51   font-size: 0.8em;
  52 }
  53
  54 ul#editmenu li {
  55   display: list-item;
  56
  57   padding-left: 0px;
  58   margin-left: 2px;
  59   border-left: none;
  60   margin-bottom: 0.7em;
  61 }