WWW/screen.css

   1 body
   2 {
   3         font-family: serif;
   4         margin: 0;
   5         padding: 0;
   6 }
   7 div.menu
   8 {
   9         position: fixed;
  10         overflow: auto;
  11         top: 0em;
  12         bottom: 0em;
  13         left: 0em;
  14         width: 12em;
  15 }
  16 div.menu div.icons,
  17 div.menu div.links
  18 {
  19         text-align: center;
  20         border-color: gray;
  21         border-width: 2px;
  22 }
  23 div.menu div.logo img
  24 {
  25         margin-left: 4em;
  26         width: 4em;
  27         height: 4em;
  28 }
  29 div.menu div.icons,
  30 div.menu div.nocount
  31 {
  32         border-bottom-style: solid;
  33 }
  34 img
  35 {
  36         border: none;
  37         margin-top: 0.5ex;
  38 }
  39 div.menu div.nocount p
  40 {
  41         margin-left: 0.5ex;
  42         margin-right: 0.5ex;
  43 }
  44 div.menu div.links
  45 {
  46         border-bottom-style: solid;
  47         border-top-style: solid;
  48 }
  49 div.menu a
  50 {
  51         display: block;
  52         width: 100%;
  53         font-size: 125%;
  54         margin-top: 0.5ex;
  55         margin-bottom: 0.5ex;
  56 }
  57 a
  58 {
  59         text-decoration: none;
  60 }
  61 a:hover
  62 {
  63         color: white;
  64         background: #08A;
  65 }
  66 div.main
  67 {
  68         position: fixed;
  69         overflow: auto;
  70         top: 0em;
  71         bottom: 0em;
  72         left: 12em;
  73         right: 0em;
  74         border-style: solid;
  75         border-width: 3px;
  76         border-color: #08a;
  77 }
  78 div.main div.section
  79 {
  80         margin-left: 1ex;
  81         margin-right: 0.6ex;
  82 }
  83 h1
  84 {
  85         text-align: center;
  86         background: #00FFFF;
  87         color: black;
  88         margin-top: 0em;
  89         padding-top: 0.4em;
  90         padding-bottom: 0.4em;
  91 }