external/lift.darcs/website/source/style.css

   1 pre { padding:5px; background-color:#e0e0e0;
   2         overflow: auto;
   3 }
   4
   5 body {
   6         background: white;
   7         margin: 2px;
   8         padding-left: 3em;
   9         padding-right: 3em;
  10 }
  11
  12 .note {
  13         border: 2px inset gray;
  14         padding: 0.5em;
  15         margin-right: 2em;
  16         margin-left: 2em;
  17 }
  18
  19 #footer {
  20         margin-top: 2em;
  21         border-top-style: inset;
  22         border-top-width: 2px;
  23 }
  24
  25 #header {
  26         text-align: left;
  27         border-top: 1px none black;
  28         border-collapse: collapse;
  29         border-bottom: 1px dotted black;
  30         margin-bottom: 1em;
  31 }
  32
  33 #navigation li {
  34         display: inline;
  35         border-right-style: dotted;
  36         border-right-width: 1px;
  37         border-left-style: dotted;
  38         border-left-width: 1px;
  39         border-collapse: collapse;
  40         padding-right: 0.25em;
  41         padding-left: 0.25em;
  42         margin-right: 1em;
  43 }
  44
  45 #navigation {
  46         text-align: center;
  47 }
  48
  49 #timestamp {
  50         font-size: 80%;
  51         text-align: right;
  52 }
  53 a.none { text-decoration: none; color:black }
  54 a.none:visited { text-decoration: none; color:black }
  55 a.none:active { text-decoration: none; color:black }
  56 a.none:hover { text-decoration: none; color:black }
  57 a { text-decoration: none; }
  58 a:visited { text-decoration: none; }
  59 a:active { text-decoration: underline; }
  60 a:hover { text-decoration: underline; }
  61
  62 .note {
  63
  64 }
  65
  66 .windows {
  67
  68 }
  69
  70 /* @group toc */
  71
  72 .table-of-contents {
  73         font-size: 90%;
  74 }
  75
  76 .table-of-contents h1, h2, h3, h4, h5, h6, h7 {
  77         font-size: inherit;
  78 }
  79
  80 .table-of-contents h2 {
  81         position: relative;
  82         left: 2em;
  83 }
  84
  85 .table-of-contents h3 {
  86         position: relative;
  87         left: 4em;
  88 }
  89
  90 .table-of-contents h4 {
  91         position: relative;
  92         left: 6em;
  93 }
  94
  95 .table-of-contents h5 {
  96         position: relative;
  97         left: 8px;
  98 }
  99
 100 /* @end */