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