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 div.section hr {
  86         margin-top: 30px;
  87         text-align: center;
  88         width: 95%;
  89 }
  90
  91 a {
  92         color: #aa0000;
  93         text-decoration: underline;
  94 }
  95
  96 a:hover {
  97         color: #dd0000;
  98         text-decoration: underline;
  99 }
 100
 101 div.body h1,
 102 div.body h2,
 103 div.body h3,
 104 div.body h4,
 105 div.body h5,
 106 div.body h6 {
 107         font-family: Crimson Text, Georgia, serif;
 108         font-weight: normal;
 109         margin: 30px 0px 10px 0px;
 110         padding: 0;
 111         color: black;
 112 }
 113
 114 div.body h1 { margin-top: 0; padding-top: 0; font-size: 240%; }
 115 div.body h2 { font-size: 180%; }
 116 div.body h3 { font-size: 150%; }
 117 div.body h4 { font-size: 130%; }
 118 div.body h5 { font-size: 100%; }
 119 div.body h6 { font-size: 100%; }
 120
 121 div.body p, div.body dd, div.body li {
 122         line-height: 1.4em;
 123 }
 124
 125 ul, ol {
 126         margin: 10px 0 10px 30px;
 127         padding: 0;
 128 }
 129
 130 pre {
 131         background: #eee;
 132         padding: 7px 30px;
 133         margin: 15px -30px;
 134         line-height: 1.3em;
 135 }
 136
 137 dl pre, blockquote pre, li pre {
 138         margin-left: -60px;
 139         padding-left: 60px;
 140 }
 141
 142 dl dl pre {
 143         margin-left: -90px;
 144         padding-left: 90px;
 145 }
 146
 147 tt {
 148         background-color: #E8EFF0;
 149         color: #222;
 150         /* padding: 1px 2px; */
 151 }
 152
 153 a.reference {
 154         text-decoration: none;
 155         border-bottom: 1px dotted #bb0000;
 156 }
 157
 158 a.reference:hover {
 159         border-bottom: 1px solid #dd0000;
 160 }
 161
 162 a.footnote-reference {
 163         text-decoration: none;
 164         font-size: 0.7em;
 165         vertical-align: top;
 166         border-bottom: 1px dotted #bb0000;
 167 }
 168
 169 a.footnote-reference:hover {
 170         border-bottom: 1px solid #dd0000;
 171 }