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