local.css

   1 pre {
   2   background-color: #F5F5F5;
   3   border: 1px dashed blue;
   4   padding: 0.2em;
   5   font-size: 80%;
   6 }
   7
   8 code {
   9   background-color: #F5F5F5;
  10 }
  11
  12 h2 {
  13   margin-bottom: 0em;
  14   font-size: 120%
  15 }
  16
  17 p,ul,ol {
  18   margin: 0.5em 0;
  19 }
  20
  21 .gallery table.img {
  22   display: inline;
  23   /*float: left;   needs tuning */
  24 }
  25
  26 .title {
  27   font-size: 150%;
  28   font-weight: bold;
  29   line-height: 120%;
  30 }
  31
  32 .header {
  33   font-size: 100%;
  34   font-weight: normal;
  35 }
  36
  37 .page {
  38   width: 50em;
  39 }
  40
  41 .sidebar {
  42         position: absolute;
  43         left: 51em;
  44 }
  45
  46 .inlinepage {
  47         border: none;
  48 }
  49
  50 .inlinepage h1 {
  51     font-size: 150%;
  52     margin: 0;
  53 }
  54
  55 .pagedate, .pagelicense, .pagecopyright, .tags, #backlinks {
  56         display: block;
  57         font-style: italic;
  58         margin-top: 0em;
  59 }
  60
  61 .pagecloud {
  62     padding: 0px;
  63     border: none !important;
  64     float: none;
  65     width: auto;
  66     background: none !important;
  67 }
  68
  69 .pageheader .actions ul {
  70     border-bottom: none;
  71 }
  72
  73 .pageheader {
  74     padding-bottom: .5em;
  75     border-bottom: 1px solid #000000;
  76 }
  77
  78 #pagebody {
  79     margin-top: .5em;
  80 }
  81
  82 #pageinfo {
  83     border-top: 1px solid #000000;
  84     padding: .5em 0;
  85     margin: .5em 0;
  86 }
  87
  88 .month-calendar-day-this-day, .year-calendar-this-month {
  89         background-color: #ffffff !important;
  90 }
  91
  92 .footnote {
  93     vertical-align: super;
  94     font-size: smaller;
  95 }