User Manual first draft.
[Faustine.git] / interpreter / lib / src / libsndfile-1.0.25 / doc / libsndfile.css.in
1 body {
2 background : @HTML_BGCOLOUR@ ;
3 color : @HTML_FGCOLOUR@ ;
4 font-family : arial, helvetica, sans-serif ;
5 line-height: 1.5 ;
6 }
7 td {
8 font-family : arial, helvetica, sans-serif ;
9 background : @HTML_BGCOLOUR@ ;
10 color : @HTML_FGCOLOUR@ ;
11 }
12 center {
13 font-family : arial, helvetica, sans-serif ;
14 }
15 p {
16 font-family : arial, helvetica, sans-serif ;
17 text-align : left ;
18 margin-left : 3% ;
19 margin-right : 3% ;
20 }
21 .indent_block {
22 font-family : arial, helvetica, sans-serif ;
23 text-align : left ;
24 margin-left : 10% ;
25 margin-right : 10% ;
26 }
27 br {
28 font-family : arial, helvetica, sans-serif ;
29 }
30 form {
31 font-family : arial, helvetica, sans-serif ;
32 }
33 ul {
34 font-family : arial, helvetica, sans-serif ;
35 text-align : left ;
36 margin-left : 3% ;
37 margin-right : 6% ;
38 }
39 ol {
40 font-family : arial, helvetica, sans-serif ;
41 text-align : left ;
42 margin-left : 3% ;
43 margin-right : 6% ;
44 }
45 dl {
46 font-family : arial, helvetica, sans-serif ;
47 text-align : left ;
48 margin-left : 3% ;
49 margin-right : 3% ;
50 }
51 h1 {
52 font-size : xx-large ;
53 background : @HTML_BGCOLOUR@ ;
54 color : #5050FF ;
55 text-align : left ;
56 margin-left : 3% ;
57 margin-right : 3% ;
58 }
59 h2 {
60 font-size : x-large ;
61 background : @HTML_BGCOLOUR@ ;
62 color : #5050FF ;
63 text-align : left ;
64 margin-left : 3% ;
65 margin-right : 3% ;
66 }
67 h3 {
68 font-size : large ;
69 background : @HTML_BGCOLOUR@ ;
70 color : #5050FF ;
71 text-align : left ;
72 margin-left : 3% ;
73 margin-right : 3% ;
74 }
75 h4 {
76 font-size : medium ;
77 background : @HTML_BGCOLOUR@ ;
78 color : #5050FF ;
79 text-align : left ;
80 margin-left : 3% ;
81 margin-right : 3% ;
82 }
83 pre {
84 font-family : courier, monospace ;
85 font-size : medium ;
86 }
87 a:link { color : #9090FF ; }
88 a:visited { color : #5050FF ; }
89 a:active { color : #FF00FF ; }
90 a:hover { background-color : #202080 ; }