tools/leaky/leaky.css

   1 body {
   2   background-color: white;
   3   line-height: 1.1;
   4   margin: 1em;
   5   font-size: 10pt;
   6   font-family: "Arial", "Times New Roman", "Times Roman", serif;
   7 }
   8
   9 body > .n, body > .n > .n, body > .n > .n > .n {
  10   display: block;
  11 }
  12
  13 .key {
  14  display: block;
  15  margin: 1em;
  16  border: 2px solid green;
  17  width: 50%;
  18  margin: 0 auto 1em auto;
  19  font-size: 130%;
  20 }
  21
  22 .key .b, .key .d {
  23  margin: 0 0 0 2em;
  24  padding: 0;
  25 }
  26
  27 .n {
  28   display: none;
  29   margin: 0 0 0 1em;
  30   white-space: nowrap;
  31 }
  32
  33 .n.e {
  34   background-color: rgb(180,180,180);
  35 }
  36
  37 .s {
  38   display: inline;
  39   margin-left: 5px;
  40 }
  41
  42 .b {
  43   display: inline;
  44   background-color: yellow;
  45   margin: 0 1em 0 1em;
  46   padding: 0 5px;
  47 }
  48
  49 .d {
  50   display: inline;
  51   background-color: khaki;
  52   padding: 0 5px;
  53 }