local.css

   1 /* Derived from Embedded Moose by Josh Triplett <josh@freedesktop.org>
   2  * Edited by W. Trevor King <wking@tremily.us> to support:
   3  *   - Sidebars
   4  *   - <code>
   5  *   - streamlined layout (fewer borders, etc.)
   6  *   - added fun fonts
   7  */
   8
   9 @font-face {
  10         font-family: Pecita;
  11         src: url("/font/Pecita-reduced.woff") format("woff");
  12         /* http://pecita.eu/police-en.php */
  13 }
  14
  15 body {
  16         background: #e7e7e7;
  17 }
  18
  19 #content {
  20         background: #ffffff;
  21         margin: 10px 0px;
  22         padding: 10px;
  23         font-family: sans-serif;
  24 }
  25
  26 .header {
  27         background: #4b6983;
  28         padding: 10px;
  29         color: #ffffff;
  30         font-family: Pecita, sans-serif;
  31 }
  32
  33 .header a {
  34         margin-right: 1ex;
  35         color: #ffffff;
  36 }
  37
  38 .actions ul {
  39         border: none;
  40         padding-bottom: 0px;
  41         font-family: sans-serif;
  42 }
  43
  44 #footer {
  45         border: none;
  46         font-family: sans-serif;
  47 }
  48
  49 .scaled {
  50         width: 100%;
  51         height: auto;
  52 }
  53
  54 .header {
  55         border-radius: 1em;
  56 }
  57
  58 .sidebar {
  59         border: none;
  60         padding: 0;
  61         margin-top: 10px;
  62         background: #e7e7e7;
  63         width: 18ex;
  64         border-bottom-left-radius: 1em;
  65 }
  66
  67 .sidebar ul {
  68         margin-left: 1em;
  69         padding: 0;
  70         list-style-type: none;
  71 }
  72
  73 .sidebar ul ul {
  74         padding-left: 1em;
  75 }
  76
  77 .sidebar .pagecloud {
  78         float: none;
  79         width: auto;
  80         border: none;
  81         background: none;
  82 }
  83
  84 #content {
  85         border-radius: 0.5em;
  86 }
  87
  88 .inlinepage {
  89         border: none;
  90 }
  91
  92 code {
  93         color: gray;
  94         font-family: monospace;
  95 }
  96
  97 .center {
  98         margin-left: auto;
  99         margin-right: auto;
 100 }