Documentation/css/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, .lisp {
 112   font-size: 1.25em;
 113   margin: 0;
 114   padding: 1em;
 115 }
 116
 117 hr {
 118   display: none;
 119 }
 120
 121 table.cartouche {
 122   background: #eee;
 123   border: 1px solid #3465a4;
 124   border-width: 0 0 0 2px;
 125   width: 85%;
 126   padding: 0 0.5em;
 127   margin: 1em 0 1em 3em;
 128 }
 129
 130 table.cartouche p {
 131   padding: 1em;
 132   margin: 0;
 133 }
 134
 135 table.cartouche td {
 136   border: none;
 137 }
 138
 139 /***********************************************************/
 140 /*                    MAIN CONTENT                         */
 141 /***********************************************************/
 142
 143 div#main {
 144   position: absolute;
 145   top: 0;
 146   right: 0;
 147   bottom: 0;
 148   left: 25%;
 149   padding: 0;
 150   margin: 0;
 151   overflow: auto;
 152 }
 153
 154 div#main li {
 155   padding: 0 1em 0.5em 0;
 156 }
 157
 158 div#main ul {
 159   margin: 0;
 160 }
 161
 162 h1, h2, h3, h4, p, table, address, dt {
 163   padding-left: 1em;
 164   padding-right: 1em;
 165 }
 166
 167 p {
 168   margin: 1em 0;
 169 }
 170
 171 th {
 172   text-align: left;
 173 }
 174
 175 #languages {
 176   margin: 0;
 177   padding: 1em;
 178 }
 179
 180 pre.menu-comment {
 181   font-size: 1em;
 182   padding-top: 1em;
 183   padding-bottom: 0;
 184   margin: 0;
 185 }
 186
 187 /***********************************************************/
 188 /*                    TOC SIDEBAR                          */
 189 /***********************************************************/
 190
 191 div#tocframe {
 192   background-color: #F9FCFF;
 193   font-size: 0.83em;
 194   line-height: 1.4;
 195   list-style-type: none;
 196   margin: 0;
 197   padding: 0;
 198   position: absolute;
 199     bottom: 0;
 200     left: 0;
 201     right: 75%;
 202     top: 0;
 203   overflow: auto;
 204   z-index: 100;
 205 }
 206
 207 /* position: fixed for savvy browsers */
 208
 209 @media screen {
 210   body > div#tocframe {
 211     position: fixed;
 212   }
 213 }
 214
 215 div#tocframe h4 {
 216   background-color: #eef;
 217   border: 1px solid #3465A4;
 218   border-width: 0 0 1px 0;
 219   color: #344;
 220   font-size: 1.2em;
 221   font-weight: normal;
 222   height: 26px;
 223   margin: 0;
 224   padding: 8px 0 0 6px;
 225 }
 226
 227 #tocframe .contents {
 228   background-color: transparent;
 229   border: none;
 230   list-style-type: none;
 231   margin: 0;
 232   padding: 0;
 233 }
 234
 235 #tocframe ul.toc {
 236   list-style-type: none;
 237   margin: 0;
 238   padding: 1em 0.5em;
 239 }
 240
 241 #tocframe ul.toc ul.toc {
 242   margin: 0;
 243   padding: 0;
 244 }
 245
 246 #tocframe ul.toc li {
 247   margin: 0;
 248   padding: 0;
 249 }
 250
 251 #tocframe ul.toc > li {
 252   font-size: 1em;
 253 }
 254
 255 #tocframe ul.toc li li {
 256   padding-left: 1em;
 257 }
 258
 259 li.toc_current {
 260   font-style: italic;
 261   font-weight: bold;
 262 }
 263
 264 li.toc_current ul {
 265   background: transparent;
 266   font-style: normal;
 267   font-weight: normal;
 268 }
 269
 270
 271 /***********************************************************/
 272 /*                     NAVIGATION                          */
 273 /***********************************************************/
 274
 275 .nav_table {
 276   background-color: #eef;
 277   border: 1px solid #3465A4;
 278   border-width: 0 0 1px 0;
 279   font-size: 0.8em;
 280   margin: 0;
 281   padding: 0;
 282   width: 100%;
 283 }
 284
 285 div.header {
 286   background-color: #dde;
 287   margin: 0.75em 0 0 0;
 288 }
 289
 290 div.header h1 {
 291   margin: 0;
 292   padding: 0.5em 0 0.5em 1em;
 293 }
 294
 295 div.subheader {
 296   background-color: #eef;
 297   margin: 0;
 298 }
 299
 300 div.subheader p {
 301   margin: 0;
 302   padding: 1em 0 1em 2em;
 303 }
 304
 305 table#navigation {
 306   line-height: 1.5;
 307   margin: 1em 0 1em 3em;
 308   padding: 0;
 309 }
 310
 311 table#navigation td {
 312   padding: 0.5em 0.75em;
 313 }
 314
 315 table#navigation ul {
 316   margin-bottom: 1em;
 317   padding-left: 0.5em;
 318 }
 319
 320 table .title {
 321   font-weight: bold;
 322 }
 323
 324 .footer {
 325   background-color: #eef;
 326   border: 1px solid #3465A4;
 327   border-width: 0 0 1px 0;
 328   font-size: 0.8em;
 329   text-indent: 1em;
 330   padding: 1.5em 0;
 331   margin: 1em 0 0 0;
 332 }
 333
 334 .footer p {
 335   line-height: 1.5;
 336   padding: 0;
 337   margin: 0 0.25em;
 338 }
 339
 340 table.menu {
 341   margin: 0 0 1em;
 342 }
 343
 344 /***********************************************************/
 345 /*               OVERRIDES FOR PRINTING                    */
 346 /***********************************************************/
 347
 348 @media print {
 349   body { padding-left: 0; font: 10pt Georgia, Garamond, serif;}
 350   /* Hide the sidebar: */
 351   #tocframe { display: none; }
 352   .nav_table { display: none; }
 353   /* Let #main expand to fill the new space */
 354   div#main { position: static; left: 0; }
 355 }