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: 80%;
  13   height: 100%;
  14   line-height: 1.25em;
  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 black;
  29   color: #204a87;
  30   padding-bottom: 0.4em;
  31   margin-bottom: 1em;
  32   margin-top: 1em;
  33 }
  34
  35 .settitle {
  36   background-color: #eef;
  37   border-bottom: 1px solid #3465A4;
  38   font-size: 2em;
  39   margin: 0.25em 0 0 0;
  40   padding: 0.75em;
  41   text-align: center;
  42 }
  43
  44 .chapter {
  45   font-size: 1.8em;
  46 }
  47
  48 .section {
  49   font-size: 1.6em;
  50 }
  51
  52 .subsection {
  53   font-size: 1.4em;
  54 }
  55
  56 .unnumberedsubsubsec {
  57   font-size: 1.25em;
  58 }
  59
  60 .subsubheading {
  61   font-size: 1em;
  62   font-weight: bold;
  63 }
  64
  65 /***********************************************************/
  66 /*                       LINKS                             */
  67 /***********************************************************/
  68
  69 a:link {
  70   /* color: #4169e1; */
  71   /* color: #3555b6; */
  72   color: #3465a4;
  73 }
  74
  75 a:visited {
  76   color: #8f5902;
  77 }
  78
  79 a:hover {
  80   color: #ce5c00;
  81 }
  82
  83 a:active {
  84   color: #73d216;
  85 }
  86
  87 /***********************************************************/
  88 /*                  BLOCK FORMATTING                       */
  89 /***********************************************************/
  90
  91 blockquote {
  92   border: thin solid #3465a4;
  93   border-width: 0 0 0 2px;
  94   margin: 1em 0 1em 3em;
  95   padding: 0;
  96 }
  97
  98 blockquote p {
  99   margin: 0;
 100   padding: 1em;
 101 }
 102
 103 blockquote blockquote {
 104   border: thick red dashed;
 105 }
 106
 107 .verbatim, .example .example, .lisp {
 108   font-size: 1em;
 109   margin: 0;
 110   padding: 1em;
 111 }
 112
 113 .example {
 114   padding: 0;
 115   margin: 0;
 116 }
 117
 118 hr {
 119   height: 0;
 120   padding: 0;
 121   border: 0;
 122   margin: 0;
 123   text-indent: -999em;
 124 }
 125
 126 table.cartouche {
 127   background: #eee;
 128   border: 1px solid #3465a4;
 129   border-width: 1px 0;
 130   width: 85%;
 131   padding: 0 0.5em;
 132   margin: 0 auto;
 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: 27%;
 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 #languages {
 177   margin: 0;
 178   padding: 1em;
 179 }
 180
 181 pre.menu-comment {
 182   font-size: 1em;
 183   padding-top: 1em;
 184   padding-bottom: 0;
 185   margin: 0;
 186 }
 187
 188 /***********************************************************/
 189 /*                    TOC SIDEBAR                          */
 190 /***********************************************************/
 191
 192 div#tocframe {
 193   position: absolute;
 194   top: 0;
 195   right: 73%;
 196   bottom: 0;
 197   left: 0;
 198   padding: 0;
 199   margin: 0;
 200   overflow: auto;
 201   background-color: #f9f9ff;
 202   z-index: 100;
 203   list-style-type: none;
 204   font-size: 0.83em;
 205   line-height: 1.4em;
 206 }
 207
 208 /* position: fixed for savvy browsers */
 209
 210 @media screen {
 211   body > div#tocframe {
 212     position: fixed
 213   }
 214 }
 215
 216 /*
 217 #tocframe a:link, #tocframe a:visited {
 218   text-decoration: none;
 219 }
 220
 221 #tocframe a:hover {
 222   text-decoration: underline;
 223 }
 224 */
 225
 226 div#tocframe h4 {
 227   font-size: 1.2em;
 228   font-weight: normal;
 229   color: #344;
 230   background-color: #eef;
 231   padding: 2px 0 1px 1em;
 232   border-bottom: 1px solid #3465A4;
 233   margin: 0;
 234 }
 235
 236 #tocframe .contents {
 237   background-color: transparent;
 238   list-style-type: none;
 239   padding: 0;
 240   border: 0;
 241   margin: 0;
 242 }
 243
 244 #tocframe ul.toc {
 245   padding: 1em 0.5em;
 246   list-style-type: none;
 247   margin: 0;
 248 }
 249
 250 #tocframe ul.toc ul.toc {
 251   padding: 0;
 252   margin: 0;
 253 }
 254
 255 #tocframe ul.toc li {
 256   padding: 0;
 257   margin: 0;
 258 }
 259
 260 #tocframe ul.toc > li {
 261   font-size: 1em;
 262 }
 263
 264 #tocframe ul.toc li li {
 265   padding-left: 1em;
 266 }
 267
 268 li.toc_current {
 269   font-weight: bold;
 270   font-style: italic;
 271 }
 272
 273 li.toc_current ul {
 274   font-weight: normal;
 275   font-style: normal;
 276   background: transparent;
 277 }
 278
 279
 280 /***********************************************************/
 281 /*                     NAVIGATION                          */
 282 /***********************************************************/
 283
 284 .nav_table {
 285   background-color: #eef;
 286   border: 1px solid #3465A4;
 287   border-width: 0 0 1px 0;
 288   font-size: 0.8em;
 289   margin: 0;
 290   padding: 0;
 291   width: 100%;
 292 }
 293
 294 div.header {
 295   background-color: #be6;
 296   text-align: center;
 297   padding: 0.5em;
 298   margin: 0;
 299   height: auto;
 300 }
 301
 302 div.header h1 {
 303   padding: 0.5em;
 304   margin: 0;
 305 }
 306
 307 div.subheader {
 308   background-color: #ddd;
 309   padding: 0;
 310   border-top: 5px solid #899;
 311   border-bottom: 1px solid #9aa;
 312   margin: 0;
 313   text-align: center;
 314 }
 315
 316 div.subheader p {
 317   padding: 0.5em;
 318   margin: 0;
 319 }
 320
 321 table#navigation {
 322   line-height: 1.5;
 323   padding: 0;
 324   margin: 1em auto;
 325 }
 326
 327 table#navigation td {
 328   padding: 0.5em 0.75em;
 329 }
 330
 331 table#navigation ul {
 332   padding-left: 0.5em;
 333   margin-bottom: 1em;
 334 }
 335
 336 table .title {
 337   font-weight: bold;
 338 }
 339
 340 .footer {
 341   background-color: #fff;
 342   border: none;
 343   font-size: 0.8em;
 344   text-indent: 1em;
 345   padding: 1.5em 0;
 346   margin: 0;
 347 }
 348
 349 .footer p {
 350   line-height: 1.5;
 351   padding: 0;
 352   margin: 0 0.25em;
 353 }
 354
 355 table.menu {
 356   margin: 0 0 1em;
 357 }
 358
 359 /***********************************************************/
 360 /*               OVERRIDES FOR PRINTING                    */
 361 /***********************************************************/
 362
 363 @media print {
 364   body { padding-left: 0; font: 10pt Georgia, Garamond, serif;}
 365   /* Hide the sidebar: */
 366   #tocframe { display: none; }
 367   .nav_table { display: none; }
 368   /* Let #main expand to fill the new space */
 369   div#main { position: static; left: 0; }
 370 }