nsz Git - libfirm/blob - scripts/style.css

   1 /*
   2  * documentation formatting (heavily inspired by jinja.css)
   3  */
   4 body {
   5         font-family: Georgia, serif;
   6         font-size: 17px;
   7         background-color: white;
   8         color: #000;
   9         margin: 0;
  10         padding: 0;
  11 }
  12
  13 div.body {
  14         background-color: #ffffff;
  15         color: #3E4349;
  16         padding: 0 30px 0 30px;
  17 }
  18
  19 div.document {
  20         width: 940px;
  21         margin: 30px auto 0 auto;
  22 }
  23
  24 div.documentwrapper {
  25         float: left;
  26         width: 100%;
  27 }
  28
  29 div.bodywrapper {
  30         margin: 0 0 0 220px;
  31 }
  32
  33 div.sidebar {
  34         width: 220px;
  35 }
  36
  37 div.sidebarwrapper {
  38         padding: 10px 5px 0 10px;
  39 }
  40
  41 div.sidebar {
  42         float: left;
  43         width: 230px;
  44         margin-left: -100%;
  45         font-size: 90%;
  46 }
  47
  48 div.sidebar ul {
  49         list-style: none;
  50 }
  51
  52 div.sidebar ul ul,
  53 div.sidebar ul.want-points {
  54         margin-left: 20px;
  55         list-style: square;
  56 }
  57
  58 div.sidebar ul ul {
  59         margin-top: 0;
  60         margin-bottom: 0;
  61 }
  62
  63 div.sidebar form {
  64         margin-top: 10px;
  65 }
  66
  67 div.sidebar input {
  68         border: 1px solid #98dbcc;
  69         font-family: sans-serif;
  70         font-size: 1em;
  71 }
  72
  73 div.footer {
  74         width: 940px;
  75         margin: 20px auto 30px auto;
  76         font-size: 14px;
  77         color: #888;
  78         text-align: right;
  79 }
  80
  81 div.footer a {
  82         color: #888;
  83 }
  84
  85 a {
  86         color: #aa0000;
  87         text-decoration: underline;
  88 }
  89
  90 a:hover {
  91         color: #dd0000;
  92         text-decoration: underline;
  93 }
  94
  95 div.body h1,
  96 div.body h2,
  97 div.body h3,
  98 div.body h4,
  99 div.body h5,
 100 div.body h6 {
 101         font-family: Crimson Text, Georgia, serif;
 102         font-weight: normal;
 103         margin: 30px 0px 10px 0px;
 104         padding: 0;
 105         color: black;
 106 }
 107
 108 div.body h1 { margin-top: 0; padding-top: 0; font-size: 240%; }
 109 div.body h2 { font-size: 180%; }
 110 div.body h3 { font-size: 150%; }
 111 div.body h4 { font-size: 130%; }
 112 div.body h5 { font-size: 100%; }
 113 div.body h6 { font-size: 100%; }
 114
 115 div.body p, div.body dd, div.body li {
 116         line-height: 1.4em;
 117 }
 118
 119 ul, ol {
 120         margin: 10px 0 10px 30px;
 121         padding: 0;
 122 }
 123
 124 pre {
 125         background: #eee;
 126         padding: 7px 30px;
 127         margin: 15px -30px;
 128         line-height: 1.3em;
 129 }
 130
 131 dl pre, blockquote pre, li pre {
 132         margin-left: -60px;
 133         padding-left: 60px;
 134 }
 135
 136 dl dl pre {
 137         margin-left: -90px;
 138         padding-left: 90px;
 139 }
 140
 141 tt {
 142         background-color: #E8EFF0;
 143         color: #222;
 144         /* padding: 1px 2px; */
 145 }
 146
 147 a.reference {
 148         text-decoration: none;
 149         border-bottom: 1px dotted #bb0000;
 150 }
 151
 152 a.reference:hover {
 153         border-bottom: 1px solid #dd0000;
 154 }
 155
 156 a.footnote-reference {
 157         text-decoration: none;
 158         font-size: 0.7em;
 159         vertical-align: top;
 160         border-bottom: 1px dotted #bb0000;
 161 }
 162
 163 a.footnote-reference:hover {
 164         border-bottom: 1px solid #dd0000;
 165 }