static/screen.css

   1 body
   2 {
   3         color: black;
   4         background: #DDDDFF;
   5 }
   6 .unnamedItem, .unseen-history
   7 {
   8         background: #D5D5D5;
   9 }
  10 .item, .history
  11 {
  12         background: #F0F0F0;
  13 }
  14 .main-history
  15 {
  16         background: #DDFFDD;
  17 }
  18 .help-example
  19 {
  20         background: #BBBBFF;
  21         padding: 0.3em;
  22 }
  23 .itemname, .name
  24 {
  25         font-weight: bold;
  26 }
  27 .itemnote, .note
  28 {
  29         font-weight: bold;
  30         font-style: italic;
  31 }
  32 .error
  33 {
  34         font-weight: bold;
  35         color: red;
  36 }
  37 .author, .time
  38 {
  39         font-style: italic;
  40         color: #444444;
  41 }
  42 .discussion div p, .admin div p
  43 {
  44         padding-left: 5px;
  45         padding-right: 5px;
  46 }
  47 div.menu
  48 {
  49         position: relative;
  50         float: left;
  51         width: 20%;
  52 }
  53 div.navigation-menu
  54 {
  55         position: relative;
  56         float: right;
  57         text-align: right;
  58         width: 20%;
  59         margin-right: 1em;
  60 }
  61 div.top h1
  62 {
  63         text-align: center;
  64         height: 0px; /* Hack. Place menu and navigation besides, not below. */
  65         margin: 0px;
  66 }
  67 div.clear
  68 {
  69         clear: both; /* Hack. Wait for all menus to end first. */
  70 }
  71 .menu ul,
  72 .navigation ul,
  73 .navigation-menu ul,
  74 ul.navigation
  75 {
  76         list-style-type: none;
  77 }
  78 .menu li,
  79 .navigation li
  80 {
  81         margin-left: -1em; /* Hack. Move the place the bullets would take if they were there back left. */
  82 }
  83 table.subnodes
  84 {
  85         width: 100%;
  86         table-layout: fixed;
  87 }
  88 col.id-col
  89 {
  90         width: 3em;
  91 }
  92 col.name-col
  93 {
  94         width: 60%;
  95 }