Documentation/lilypond-blue.css

   1 /**********************************************************/
   2 /*                  PAGE-WIDE SETTINGS                    */
   3 /**********************************************************/
   4
   5 html {
   6   height: 100%;
   7 }
   8
   9 body {
  10   background-color: white;
  11   color: black;
  12   font-size: 87.5%;
  13   height: 100%;
  14   line-height: 1.125;
  15   margin: 0 auto;
  16   padding: 0;
  17 }
  18
  19
  20 /***********************************************************/
  21 /*                      HEADERS                            */
  22 /***********************************************************/
  23
  24 .chapter, .section, .subsection,
  25 .appendix, .appendixsec, .appendixsubsec,
  26 .unnumberedsubsubsec, .subsubheading,
  27 .unnumbered, .subheading {
  28   border-bottom: 1px dashed #bbb;
  29   color: #204a87;
  30   margin: 1em 0;
  31   padding-bottom: 0.4em;
  32 }
  33
  34 .settitle {
  35   background-color: #eef;
  36   border-bottom: 1px solid #3465A4;
  37   font-size: 2em;
  38   margin: 0.5em 0 0 0;
  39   padding: 0.5em;
  40 }
  41
  42 .chapter {
  43   font-size: 1.8em;
  44   padding: 0.5em;
  45 }
  46
  47 .section {
  48   font-size: 1.6em;
  49   padding: 0.5em;
  50 }
  51
  52 .subsection {
  53   font-size: 1.4em;
  54   padding: 0.5em;
  55 }
  56
  57 .unnumberedsubsubsec {
  58   font-size: 1.25em;
  59   padding: 0.5em;
  60 }
  61
  62 .subsubheading {
  63   font-size: 1em;
  64   font-weight: bold;
  65   padding: 0.5em 1em;
  66 }
  67
  68 /***********************************************************/
  69 /*                       LINKS                             */
  70 /***********************************************************/
  71
  72 a:link {
  73   /* color: #4169e1; */
  74   /* color: #3555b6; */
  75   color: #3465a4;
  76 }
  77
  78 a:visited {
  79   color: #8f5902;
  80 }
  81
  82 a:hover {
  83   color: #ce5c00;
  84 }
  85
  86 a:active {
  87   color: #4487D7;
  88 }
  89
  90 /***********************************************************/
  91 /*                  BLOCK FORMATTING                       */
  92 /***********************************************************/
  93
  94 blockquote, .smallexample {
  95   border: thin solid #3465a4;
  96   border-width: 0 0 0 2px;
  97   margin: 1em 0 1em 3em;
  98   padding: 0;
  99 }
 100
 101 blockquote p, pre.smallexample {
 102   margin: 0;
 103   padding: 1em;
 104 }
 105
 106 blockquote blockquote {
 107   border: none;
 108   /* border: thick red dashed; */
 109 }
 110
 111 .verbatim, .example .example, .lisp {
 112   font-size: 1.25em;
 113   margin: 0;
 114   padding: 1em;
 115 }
 116
 117 .example {
 118   margin: 0;
 119   padding: 0;
 120 }
 121
 122 hr {
 123   display: none;
 124 }
 125
 126 table.cartouche {
 127   background: #eee;
 128   border: 1px solid #3465a4;
 129   border-width: 0 0 0 2px;
 130   width: 85%;
 131   padding: 0 0.5em;
 132   margin: 1em 0 1em 3em;
 133 }
 134
 135 table.cartouche p {
 136   padding: 1em;
 137   margin: 0;
 138 }
 139
 140 table.cartouche td {
 141   border: none;
 142 }
 143
 144 /***********************************************************/
 145 /*                    MAIN CONTENT                         */
 146 /***********************************************************/
 147
 148 div#main {
 149   position: absolute;
 150   top: 0;
 151   right: 0;
 152   bottom: 0;
 153   left: 25%;
 154   padding: 0;
 155   margin: 0;
 156   overflow: auto;
 157 }
 158
 159 div#main li {
 160   padding: 0 1em 0.5em 0;
 161 }
 162
 163 div#main ul {
 164   margin: 0;
 165 }
 166
 167 h1, h2, h3, h4, p, table, address, dt {
 168   padding-left: 1em;
 169   padding-right: 1em;
 170 }
 171
 172 p {
 173   margin: 1em 0;
 174 }
 175
 176 th {
 177   text-align: left;
 178 }
 179
 180 #languages {
 181   margin: 0;
 182   padding: 1em;
 183 }
 184
 185 pre.menu-comment {
 186   font-size: 1em;
 187   padding-top: 1em;
 188   padding-bottom: 0;
 189   margin: 0;
 190 }
 191
 192 /***********************************************************/
 193 /*                    TOC SIDEBAR                          */
 194 /***********************************************************/
 195
 196 div#tocframe {
 197   background-color: #F9FCFF;
 198   font-size: 0.83em;
 199   line-height: 1.4;
 200   list-style-type: none;
 201   margin: 0;
 202   padding: 0;
 203   position: absolute;
 204     bottom: 0;
 205     left: 0;
 206     right: 75%;
 207     top: 0;
 208   overflow: auto;
 209   z-index: 100;
 210 }
 211
 212 /* position: fixed for savvy browsers */
 213
 214 @media screen {
 215   body > div#tocframe {
 216     position: fixed;
 217   }
 218 }
 219
 220 div#tocframe h4 {
 221   background-color: #eef;
 222   border: 1px solid #3465A4;
 223   border-width: 0 0 1px 0;
 224   color: #344;
 225   font-size: 1.2em;
 226   font-weight: normal;
 227   height: 26px;
 228   margin: 0;
 229   padding: 8px 0 0 6px;
 230 }
 231
 232 #tocframe .contents {
 233   background-color: transparent;
 234   border: none;
 235   list-style-type: none;
 236   margin: 0;
 237   padding: 0;
 238 }
 239
 240 #tocframe ul.toc {
 241   list-style-type: none;
 242   margin: 0;
 243   padding: 1em 0.5em;
 244 }
 245
 246 #tocframe ul.toc ul.toc {
 247   margin: 0;
 248   padding: 0;
 249 }
 250
 251 #tocframe ul.toc li {
 252   margin: 0;
 253   padding: 0;
 254 }
 255
 256 #tocframe ul.toc > li {
 257   font-size: 1em;
 258 }
 259
 260 #tocframe ul.toc li li {
 261   padding-left: 1em;
 262 }
 263
 264 li.toc_current {
 265   font-style: italic;
 266   font-weight: bold;
 267 }
 268
 269 li.toc_current ul {
 270   background: transparent;
 271   font-style: normal;
 272   font-weight: normal;
 273 }
 274
 275
 276 /***********************************************************/
 277 /*                     NAVIGATION                          */
 278 /***********************************************************/
 279
 280 .nav_table {
 281   background-color: #eef;
 282   border: 1px solid #3465A4;
 283   border-width: 0 0 1px 0;
 284   font-size: 0.8em;
 285   margin: 0;
 286   padding: 0;
 287   width: 100%;
 288 }
 289
 290 div.header {
 291   background-color: #dde;
 292   margin: 0.75em 0 0 0;
 293 }
 294
 295 div.header h1 {
 296   margin: 0;
 297   padding: 0.5em 0 0.5em 1em;
 298 }
 299
 300 div.subheader {
 301   background-color: #eef;
 302   margin: 0;
 303 }
 304
 305 div.subheader p {
 306   margin: 0;
 307   padding: 1em 0 1em 2em;
 308 }
 309
 310 table#navigation {
 311   line-height: 1.5;
 312   margin: 1em 0 1em 3em;
 313   padding: 0;
 314 }
 315
 316 table#navigation td {
 317   padding: 0.5em 0.75em;
 318 }
 319
 320 table#navigation ul {
 321   margin-bottom: 1em;
 322   padding-left: 0.5em;
 323 }
 324
 325 table .title {
 326   font-weight: bold;
 327 }
 328
 329 .footer {
 330   background-color: #eef;
 331   border: 1px solid #3465A4;
 332   border-width: 0 0 1px 0;
 333   font-size: 0.8em;
 334   text-indent: 1em;
 335   padding: 1.5em 0;
 336   margin: 1em 0 0 0;
 337 }
 338
 339 .footer p {
 340   line-height: 1.5;
 341   padding: 0;
 342   margin: 0 0.25em;
 343 }
 344
 345 table.menu {
 346   margin: 0 0 1em;
 347 }
 348
 349 /***********************************************************/
 350 /*               OVERRIDES FOR PRINTING                    */
 351 /***********************************************************/
 352
 353 @media print {
 354   body { padding-left: 0; font: 10pt Georgia, Garamond, serif;}
 355   /* Hide the sidebar: */
 356   #tocframe { display: none; }
 357   .nav_table { display: none; }
 358   /* Let #main expand to fill the new space */
 359   div#main { position: static; left: 0; }
 360 }