Documentation/css/lilypond-manuals.css

   1 /**********************************************************/
   2 /*                  PAGE-WIDE SETTINGS                    */
   3 /**********************************************************/
   4
   5 html {
   6   height: 100%;
   7 }
   8
   9 body {
  10   margin: 0 auto;
  11   padding: 0;
  12   height: 100%;
  13   font-size: 100%;
  14   line-height: 1.125;
  15   color: #000;
  16   background-color: #fff;
  17 }
  18
  19 /***********************************************************/
  20 /*                      HEADERS                            */
  21 /***********************************************************/
  22
  23 .chapter, .section, .subsection, .subsubsection,
  24 .appendix, .appendixsec, .appendixsubsec,
  25 .unnumbered, .unnumberedsec, .unnumberedsubsec, .unnumberedsubsubsec,
  26 .subheading, .subsubheading {
  27   color: #204a87;
  28   border-bottom: 1px dashed black;
  29   padding-bottom: 0.15em;
  30   margin-top: 0.6em;
  31   margin-bottom: 1em;
  32 }
  33
  34 .settitle {
  35   background: #b1d281;
  36   font-size: 2em;
  37   text-align: center;
  38   padding: 0.4em 0.5em;
  39   border: solid #7b925a;
  40   border-width: 1px 0;
  41   margin: 0;
  42 }
  43
  44 .chapter, .appendix, .unnumbered {
  45   font-size: 1.8em;
  46 }
  47
  48 .section, .appendixsec, .unnumberedsec {
  49   font-size: 1.6em;
  50 }
  51
  52 .subsection, .appendixsubsec, .unnumberedsubsec {
  53   font-size: 1.4em;
  54 }
  55
  56 .subheading, .subsubsection, .unnumberedsubsubsec {
  57   font-size: 1.25em;
  58 }
  59
  60 .subsubheading {
  61   font-size: 1em;
  62   font-weight: bold;
  63 }
  64
  65 .chapheading {
  66   position: absolute;
  67   height: 0;
  68   overflow: hidden;
  69   text-indent: -999em;
  70 }
  71
  72 /***********************************************************/
  73 /*                       LINKS                             */
  74 /***********************************************************/
  75
  76 a:link {
  77   color: #0c51ab;
  78 }
  79
  80 a:visited {
  81   color: #804f01;
  82 }
  83
  84 a:active {
  85   color: #278800;
  86 }
  87
  88 a:hover {
  89   color: #0105ad;
  90 }
  91
  92 /***********************************************************/
  93 /*                  BLOCK FORMATTING                       */
  94 /***********************************************************/
  95
  96 blockquote, .smallexample {
  97   width: 96%;
  98   padding: 0;
  99   border: solid #b1d281;
 100   border-width: 1px 1px 1px 5px;
 101   margin: 1em auto;
 102 }
 103
 104 blockquote p, pre.smallexample {
 105   padding: 1em;
 106   margin: 0;
 107 }
 108
 109 blockquote blockquote {
 110   border: none;
 111 }
 112
 113 .verbatim, .example, .lisp {
 114   font-size: 1em;
 115   padding: 1em;
 116   margin: 0;
 117 }
 118
 119 #main hr {
 120   height: 0;
 121   padding: 0;
 122   border: 0;
 123   margin: 0;
 124   text-indent: -999em;
 125 }
 126
 127 table.cartouche {
 128   background: #f5f5dc;
 129   width: 85%;
 130   border-collapse: collapse;
 131   padding: 0 0.5em;
 132   border: 2px solid #8f5902;
 133   margin: 0 auto 1em;
 134 }
 135
 136 table.cartouche p {
 137   padding: 1em;
 138   margin: 0;
 139 }
 140
 141 table.cartouche td {
 142   border: none;
 143 }
 144
 145 /***********************************************************/
 146 /*                    MAIN CONTENT                         */
 147 /***********************************************************/
 148
 149 div#main {
 150   position: absolute;
 151   top: 0;
 152   right: 0;
 153   bottom: 0;
 154   left: 27%;
 155   padding: 0;
 156   margin: 0;
 157   overflow: auto;
 158 }
 159
 160 div#main li {
 161   padding: 0 1em 0.5em 0;
 162 }
 163
 164 div#main ul {
 165   margin: 0;
 166   padding-left: 3em;
 167 }
 168
 169 h1, h2, h3, h4, p, table, address, dt {
 170   padding-left: 1em;
 171   padding-right: 1em;
 172 }
 173
 174 p {
 175   margin: 1em 0;
 176 }
 177
 178 #languages {
 179   padding: 0.5em 1em;
 180   margin: 0;
 181 }
 182
 183 pre.menu-comment {
 184   font-size: 1em;
 185   padding-top: 1em;
 186   padding-bottom: 0;
 187   margin: 0;
 188 }
 189
 190 #main .contents li {
 191   padding-bottom: 0;
 192 }
 193
 194 #main .contents > ul {
 195   margin-bottom: 1em;
 196 }
 197
 198 /***********************************************************/
 199 /*                    TOC SIDEBAR                          */
 200 /***********************************************************/
 201
 202 div#tocframe {
 203   position: absolute;
 204   top: 0;
 205   right: 73%;
 206   bottom: 0;
 207   left: 0;
 208   padding: 0;
 209   margin: 0;
 210   overflow: auto;
 211   background: #f5f5dc;
 212   z-index: 100;
 213   list-style-type: none;
 214   font-size: 0.83em;
 215   line-height: 1.3;
 216 }
 217
 218 @media screen {
 219   body > div#tocframe {
 220     position: fixed
 221   }
 222 }
 223
 224 div#tocframe a:link, div#tocframe a:visited {
 225   color: #454532;
 226   text-decoration: none;
 227 }
 228
 229 div#tocframe a:hover {
 230   color: #232b16;
 231   text-decoration: underline;
 232 }
 233
 234 div#tocframe p.toc_uplink {
 235   font-size: 1em;
 236   line-height: 1.125;
 237   background: #c9ccc4;
 238   padding: 0.25em 1em 0.25em 0.5em;
 239   border-bottom: 1px solid #a0a087;
 240   margin: 0;
 241 }
 242
 243 div#tocframe p.toc_uplink a:link,
 244 div#tocframe p.toc_uplink a:visited {
 245   color: #1c1c1b;
 246 }
 247
 248 div#tocframe p.toc_uplink a:hover {
 249   color: #000;
 250 }
 251
 252 div#tocframe h4 {
 253   font-size: 1em;
 254   line-height: 1.125;
 255   font-weight: bold;
 256   font-style: italic;
 257   padding: 0.75em 0.5em 0 0.5em;
 258   margin: 0;
 259 }
 260
 261 #tocframe .contents {
 262   background-color: transparent;
 263   list-style-type: none;
 264   padding: 0;
 265   border: 0;
 266   margin: 0;
 267 }
 268
 269 #tocframe ul.toc {
 270   padding: 0.25em 0.5em 1em 0.5em;
 271   list-style-type: none;
 272   margin: 0;
 273 }
 274
 275 #tocframe ul.toc ul.toc {
 276   padding: 0;
 277   margin: 0;
 278 }
 279
 280 #tocframe ul.toc li {
 281   padding: 0;
 282   margin: 0;
 283 }
 284
 285 #tocframe ul.toc > li {
 286   font-size: 1em;
 287 }
 288
 289 #tocframe ul.toc li li {
 290   padding-left: 1em;
 291 }
 292
 293 li.toc_current {
 294   font-weight: bold;
 295   font-style: italic;
 296 }
 297
 298 li.toc_current ul {
 299   font-weight: normal;
 300   font-style: normal;
 301   background: transparent;
 302 }
 303
 304 /***********************************************************/
 305 /*                     NAVIGATION                          */
 306 /***********************************************************/
 307
 308 .nav_table {
 309   width: 100%;
 310   background: #c9ccc4;
 311   font-size: 0.83em;
 312   border-collapse: collapse;
 313   padding: 0;
 314   border: none;
 315   margin: 0;
 316 }
 317
 318 .nav_table a:link, .nav_table a:visited {
 319   color: #1c1c1b;
 320   text-decoration: none;
 321 }
 322
 323 .nav_table a:hover {
 324   color: #000;
 325   text-decoration: underline;
 326 }
 327
 328 .nav_table tr, .nav_table a {
 329   padding: 0;
 330   margin: 0;
 331 }
 332
 333 .nav_table td {
 334   padding: 0.25em;
 335   margin: 0;
 336 }
 337
 338 div.header {
 339   background: #b1d281;
 340   text-align: center;
 341   padding: 0.5em;
 342   border-bottom: 1px solid #7b925a;
 343   margin: 0;
 344   height: auto;
 345 }
 346
 347 div.header h1 {
 348   font-size: 2em;
 349   padding: 0.25em;
 350   margin: 0;
 351 }
 352
 353 div.subheader {
 354   background: #ddd;
 355   padding: 0;
 356   margin: 0;
 357   text-align: center;
 358 }
 359
 360 div.subheader p {
 361   padding: 0.5em;
 362   margin: 0;
 363 }
 364
 365 table#navigation {
 366   line-height: 1.5;
 367   padding: 0;
 368   margin: 1em auto;
 369 }
 370
 371 table#navigation td {
 372   padding: 0.5em 0.75em;
 373 }
 374
 375 table#navigation ul {
 376   padding-left: 0.5em;
 377   margin: 0;
 378 }
 379
 380 table .title {
 381   font-weight: bold;
 382 }
 383
 384 .footer {
 385   background: #e5f5ce;
 386   font-size: 0.8em;
 387   padding: 0.2em 0;
 388   border: solid #b1d281;
 389   border-width: 0 0 5px 0;
 390   margin: 0;
 391 }
 392
 393 .footer a:link {
 394   color: #0308fc;
 395 }
 396
 397 .footer p {
 398   padding: 0 1.25em;
 399   margin: 0.4em 0;
 400 }
 401
 402 table.menu {
 403   margin: 0 0 1em;
 404 }
 405
 406 /***********************************************************/
 407 /*               OVERRIDES FOR PRINTING                    */
 408 /***********************************************************/
 409
 410 @media print {
 411   /* Hide the sidebar: */
 412   body { padding-left: 0; }
 413   #tocframe { display: none; }
 414   .nav_table { display: none; }
 415 }
 416
 417 /***********************************************************/
 418 /*           FORMATTING of AJAX SEARCH BOX                 */
 419 /***********************************************************/
 420
 421 div#search {
 422   border: none;
 423   border-bottom: 1pt solid #C5972C;
 424   background: #E8E3AC;
 425   padding-left: 3px;
 426   padding-top: 2px;
 427   padding-bottom: 1px;
 428 }
 429 div#search p, div#search form {
 430   padding: 0;
 431   margin: 0;
 432 }
 433 #search_results {
 434   font-size: 0.75em;
 435   padding: 0;
 436   margin: 0;
 437   display: none;
 438 }
 439 #search_results table {
 440   width: 100%;
 441 }
 442
 443 /***********************************************************/
 444 /*               OTHER                                     */
 445 /***********************************************************/
 446
 447 .warning {
 448   background: #eef;
 449   text-align: left;
 450   padding: 0;
 451   border: 1px solid green;
 452   /* Experimental rounded corners */
 453   -moz-border-radius: 10px;
 454   -webkit-border-radius: 10px;
 455   margin: 1em;
 456 }
 457
 458 .advanced {
 459   background: #eeffcc;
 460   text-align: left;
 461   padding: 0;
 462   border: 1px solid green;
 463   /* Experimental rounded corners */
 464   -moz-border-radius: 10px;
 465   -webkit-border-radius: 10px;
 466   margin: 0.5em 0.5em 2em 3em;
 467 }