Tweak the accuracy for Hairpin pure-height.
[lilypond.git] / Documentation / lilypond.css
blob82ab472b9507104955dcb0eaac4295f89a61ef10
1 /***********************************************************/
2 /* PAGE-WIDE SETTINGS */
3 /**********************************************************/
5 html {
6 height:100%;
9 body {
10 margin: 0;
11 padding: 0;
12 height: 100%;
13 font-size: 100%;
14 margin-right: auto;
15 margin-left: auto;
16 color: black;
17 background-color: white;
20 /***********************************************************/
21 /* HEADERS */
22 /***********************************************************/
23 h4, h3, h2, .unnumberedsubsubsec, .subsubheading {
24 color: #151959;
27 h2 {
28 font-size: x-large;
30 .unnumberedsubsubsec, .subsubheading {
31 font-size: large;
34 /***********************************************************/
35 /* LINKS */
36 /***********************************************************/
37 a:link, a:visited, a:hover, a:active {color:#2E5479; text-decoration: none;}
38 a:hover {text-decoration: underline;}
39 a:active {color:#CCCCFF;}
41 /***********************************************************/
42 /* BLOCK FORMATTING */
43 /***********************************************************/
44 blockquote {
45 border: 1px solid #CCCCCC;
46 padding: 3px;
47 width: 40em;
49 .verbatim, .example, .smallexample {
50 font-family: "Courier New",Courier,monospace;
52 hr {
53 border: none;
54 height: 1px;
55 color: #666666;
56 background-color: #666666;
58 table.cartouche {
59 border: 2px dotted #CCCCCC;
60 margin-left: auto;
61 margin-right: auto;
62 width: 85%;
64 table.cartouche td {
65 border: none;
68 /***********************************************************/
69 /* MAIN CONTENT */
70 /***********************************************************/
72 div#main {
73 position: absolute;
74 top: 0;
75 right: 0;
76 bottom: 0;
77 left: 27%;
78 padding: 0 1em;
79 margin: 0;
80 overflow: auto;
83 #languages {
84 padding-bottom: 1em;
87 /***********************************************************/
88 /* TOC SIDEBAR */
89 /***********************************************************/
91 div#tocframe {
92 position: absolute;
93 top: 0;
94 right: 73%;
95 bottom: 0;
96 left: 0;
97 padding: 5px;
98 padding-bottom: 0;
99 margin: 0;
100 overflow: auto;
101 background-color: #E7EFE3;
102 z-index:100;
103 list-style-type: none;
106 @media screen {
107 body>div#tocframe {
108 position: fixed
112 #tocframe .contents {
113 width: 100%;
114 padding-bottom: 0.25em;
115 border: none;
116 margin: 0em;
117 background-color: transparent;
118 list-style-type: none;
121 #tocframe a, #tocframe a:visited, #tocframe a:active {
122 color: #1B3313;
123 text-decoration: none;
126 #tocframe a:hover {
127 color: #2E5479;
128 text-decoration:underline;
131 #tocframe ul.toc {
132 padding-left: 0px;
133 margin-left: 0px;
135 #tocframe ul.toc li {
136 padding-left: 0px;
137 margin-left: 0px;
138 list-style-type: none;
140 #tocframe ul.toc > li {
141 font-size: 12px;
143 #tocframe ul.toc li li {
144 padding-left: 15px;
146 li.toc_current {
147 font-weight: bold;
148 font-style: italic;
151 li.toc_current ul {
152 font-weight: normal;
153 font-style: normal;
154 background: transparent;
160 /***********************************************************/
161 /* NAVIGATION */
162 /***********************************************************/
164 div.header {
165 background-color: #E7EFE3;
166 padding: 2px;
167 border: #CCD3CC 1px solid;
168 text-align: center;
171 h1.header {
172 font-weight: bold;
173 font-family: avantgarde, sans-serif;
174 font-size: 220%;
177 div.subheader {
178 text-align: center;
181 #navigation {
182 margin: 0 auto;
185 .nav_table {
186 width: 100%;
187 background-color: #CCD3CC;
188 border: 0;
189 margin-top: 4px;
190 left: auto;
191 right: auto;
192 font-size: 0.8em;
195 .title {
196 font-weight: bold;
199 .footer {
200 background-color: #E7EFE3;
201 padding: 5px;
202 border: #CCD3CC 1px solid;
203 font-size: 80%;
208 /***********************************************************/
209 /* OVERRIDES FOR PRINTING */
210 /***********************************************************/
211 @media print {
212 /* Hide the sidebar: */
213 body { padding-left: 0; }
214 #tocframe { display: none; }
215 .nav_table { display: none; }