Documentation/lilypond.css

   1 /***********************************************************/
   2 /*                  PAGE-WIDE SETTINGS                     */
   3 /**********************************************************/
   4
   5 html {
   6   height:100%;
   7 }
   8
   9 body {
  10   margin: 0;
  11   padding: 0;
  12   height: 100%;
  13   font-size: 100%;
  14   margin-right: auto;
  15   margin-left: auto;
  16 }
  17
  18 /***********************************************************/
  19 /*                      HEADERS                            */
  20 /***********************************************************/
  21 h2 {
  22   font-size: x-large;
  23   color: #1d7b85;
  24 }
  25 .unnumberedsubsubsec, .subsubheading {
  26   font-size: large;
  27   color: #1d7b85;
  28 }
  29
  30 /***********************************************************/
  31 /*                       LINKS                             */
  32 /***********************************************************/
  33 a {
  34   color: #344242;
  35 }
  36 a:visited {
  37   color: #666666;
  38 }
  39 a:active {
  40   color: #00cccc;
  41 }
  42 a:hover {
  43   color: #1d7b85;
  44   text-decoration:underline;
  45 }
  46
  47 /***********************************************************/
  48 /*                  BLOCK FORMATTING                       */
  49 /***********************************************************/
  50 blockquote {
  51   border: 1px solid #cccccc;
  52   padding: 3px;
  53   width: 40em;
  54 }
  55 .verbatim, .example {
  56   font-family: "Courier New",Courier,monospace;
  57 }
  58 hr {
  59   border:  none;
  60   height: 1px;
  61   color: #666666;
  62   background-color: #666666;
  63 }
  64 table.cartouche {
  65   border: 2px dotted #cccccc;
  66   margin-left: auto;
  67   margin-right: auto;
  68   width: 85%;
  69 }
  70 table.cartouche td {
  71   border: none;
  72 }
  73
  74 /***********************************************************/
  75 /*                    MAIN CONTENT                         */
  76 /***********************************************************/
  77
  78 div#main {
  79   position: absolute;
  80   top: 0;
  81   right: 0;
  82   bottom: 0;
  83   left: 27%;
  84   padding: 0 1em;
  85   margin: 0;
  86   overflow: auto;
  87 }
  88
  89 #languages {
  90   padding-bottom: 1em;
  91 }
  92
  93 /***********************************************************/
  94 /*                    TOC SIDEBAR                          */
  95 /***********************************************************/
  96
  97 div#tocframe {
  98   position:      absolute;
  99   top:           0;
 100   right: 73%;
 101   bottom: 0;
 102   left:          0;
 103   padding:       5px;
 104   padding-bottom: 0;
 105   margin: 0;
 106   overflow:      auto;
 107   background-color: #FFFACD;
 108   z-index:100;
 109   list-style-type: none;
 110 }
 111
 112 @media screen {
 113   body>div#tocframe {
 114     position: fixed
 115     }
 116   }
 117
 118 #tocframe .contents {
 119   width: 100%;
 120   padding-bottom: 0.25em;
 121   border: none;
 122   margin: 0em;
 123   background-color: transparent;
 124   list-style-type: none;
 125 }
 126
 127 #tocframe ul.toc {
 128   padding-left: 0px;
 129   margin-left: 0px;
 130 }
 131 #tocframe ul.toc li {
 132  padding-left: 0px;
 133   margin-left: 0px;
 134   list-style-type: none;
 135 }
 136 #tocframe ul.toc > li {
 137   font-size: 12px;
 138 }
 139 #tocframe ul.toc li li {
 140   padding-left: 15px;
 141 }
 142 li.toc_current {
 143   font-weight: bold;
 144   font-style: italic;
 145 }
 146
 147 li.toc_current ul {
 148   font-weight: normal;
 149   font-style: normal;
 150   background: transparent;
 151 }
 152
 153
 154
 155
 156 /***********************************************************/
 157 /*                     NAVIGATION                          */
 158 /***********************************************************/
 159
 160 .nav_table {
 161   width: 100%;
 162   background-color: #CCC;
 163   border: 0;
 164   margin-top: 4px;
 165   left: auto;
 166   right: auto;
 167   font-size: 0.8em;
 168 }
 169
 170
 171
 172
 173
 174
 175 /***********************************************************/
 176 /*               OVERRIDES FOR PRINTING...                 */
 177 /***********************************************************/
 178 @media print {
 179   /* Hide the sidebar: */
 180   body { padding-left: 0; }
 181   #tocframe { display: none; }
 182   .nav_table { display: none; }
 183 }