local.css

   1 pre {
   2   background-color: #F5F5F5;
   3   border: 1px dashed blue;
   4   padding: 0.2em;
   5 }
   6
   7 code {
   8   background-color: #F5F5F5;
   9 }
  10
  11 h2 {
  12   margin-bottom: 0em;
  13   margin-top: 1.5em;
  14 }
  15
  16 p,ul,ol {
  17   margin: 0.5em 0;
  18 }
  19
  20 .gallery table.img {
  21   display: inline;
  22   /*float: left;   needs tuning */
  23 }
  24
  25 .title {
  26   font-size: 150%;
  27   font-weight: bold;
  28 }
  29
  30 .header {
  31   font-size: 100%;
  32   font-weight: normal;
  33 }
  34
  35 .page {
  36   width: 50em;
  37 }