chiark - git - mdw - dep-ui/blob - rolling.css

   1 td.label { text-align: right; }
   2 .conceal { display: none; }
   3 h1 {
   4         padding-bottom: 1ex;
   5         border-bottom-style: solid;
   6         border-width: medium;
   7 }
   8 h2 {
   9         padding-top: 1ex;
  10         margin-top: 2ex;
  11 }
  12 h1 + h2, h2:first-child {
  13         border-top-style: hidden;
  14         margin-top: 2ex;
  15 }
  16 h1, h2, h3 {
  17         font-family: sans-serif;
  18 }
  19 .widgets {
  20         float: left;
  21         width: auto;
  22         margin-right: 2em;
  23         margin-bottom: 2em;
  24 }
  25 #toggle-help {
  26         text-align: right;
  27 }