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 .widgets {
  17         float: left;
  18         width: auto;
  19         margin-right: 2em;
  20         margin-bottom: 2em;
  21 }
  22 #toggle-help {
  23         text-align: right;
  24 }