doc/doc.css

changeset 24
0d7de9d0878b
equal deleted inserted replaced
23:c33ee6e3ef5f 24:0d7de9d0878b
1 body {
2 margin-left: 1em;
3 margin-right: 1em;
4 font-family: arial, helvetica, geneva, sans-serif;
5 background-color:#ffffff; margin:0px;
6 }
7
8 code {
9 font-family: "Andale Mono", monospace;
10 }
11
12 tt {
13 font-family: "Andale Mono", monospace;
14 }
15
16 body, td, th { font-size: 11pt; }
17
18 h1, h2, h3, h4 { margin-left: 0em; }
19
20 textarea, pre, tt { font-size:10pt; }
21 body, td, th { color:#000000; }
22 small { font-size:0.85em; }
23 h1 { font-size:1.5em; }
24 h2 { font-size:1.25em; }
25 h3 { font-size:1.15em; }
26 h4 { font-size:1.06em; }
27
28 a:link { font-weight:bold; color: #004080; text-decoration: none; }
29 a:visited { font-weight:bold; color: #006699; text-decoration: none; }
30 a:link:hover { text-decoration:underline; }
31 hr { color:#cccccc }
32 img { border-width: 0px; }
33
34
35 h3 { padding-top: 1em; }
36
37 p { margin-left: 1em; }
38
39 p.name {
40 font-family: "Andale Mono", monospace;
41 padding-top: 1em;
42 margin-left: 0em;
43 }
44
45 blockquote { margin-left: 3em; }
46
47 .example {
48 background-color: rgb(245, 245, 245);
49 border-top-width: 1px;
50 border-right-width: 1px;
51 border-bottom-width: 1px;
52 border-left-width: 1px;
53 border-top-style: solid;
54 border-right-style: solid;
55 border-bottom-style: solid;
56 border-left-style: solid;
57 border-top-color: silver;
58 border-right-color: silver;
59 border-bottom-color: silver;
60 border-left-color: silver;
61 padding: 1em;
62 margin-left: 1em;
63 margin-right: 1em;
64 font-family: "Andale Mono", monospace;
65 font-size: smaller;
66 }
67
68
69 hr {
70 margin-left: 0em;
71 background: #00007f;
72 border: 0px;
73 height: 1px;
74 }
75
76 ul { list-style-type: disc; }
77
78 table.index { border: 1px #00007f; }
79 table.index td { text-align: left; vertical-align: top; }
80 table.index ul { padding-top: 0em; margin-top: 0em; }
81
82 table {
83 border: 1px solid black;
84 border-collapse: collapse;
85 margin-left: auto;
86 margin-right: auto;
87 }
88 th {
89 border: 1px solid black;
90 padding: 0.5em;
91 }
92 td {
93 border: 1px solid black;
94 padding: 0.5em;
95 }
96 div.header, div.footer { margin-left: 0em; }
97
98 #container
99 {
100 margin-left: 1em;
101 margin-right: 1em;
102 background-color: #f0f0f0;
103 }
104
105 #product
106 {
107 text-align: center;
108 border-bottom: 1px solid #cccccc;
109 background-color: #ffffff;
110 }
111
112 #product big {
113 font-size: 2em;
114 }
115
116 #product_logo
117 {
118 }
119
120 #product_name
121 {
122 }
123
124 #product_description
125 {
126 }
127
128 #main
129 {
130 background-color: #f0f0f0;
131 border-left: 2px solid #cccccc;
132 }
133
134 #navigation
135 {
136 float: left;
137 width: 12em;
138 margin: 0;
139 vertical-align: top;
140 background-color: #f0f0f0;
141 overflow:visible;
142 }
143
144 #navigation h1 {
145 background-color:#e7e7e7;
146 font-size:1.1em;
147 color:#000000;
148 text-align:left;
149 margin:0px;
150 padding:0.2em;
151 border-top:1px solid #dddddd;
152 border-bottom:1px solid #dddddd;
153 }
154
155 #navigation ul
156 {
157 font-size:1em;
158 list-style-type: none;
159 padding: 0;
160 margin: 1px;
161 }
162
163 #navigation li
164 {
165 text-indent: -1em;
166 margin: 0em 0em 0em 0.5em;
167 display: block;
168 padding: 3px 0px 0px 12px;
169 }
170
171 #navigation li li a
172 {
173 padding: 0px 3px 0px -1em;
174 }
175
176 #content
177 {
178 margin-left: 12em;
179 padding: 1em;
180 border-left: 2px solid #cccccc;
181 border-right: 2px solid #cccccc;
182 background-color: #ffffff;
183 }
184
185 #about
186 {
187 clear: both;
188 margin: 0;
189 padding: 5px;
190 border-top: 2px solid #cccccc;
191 background-color: #ffffff;
192 }
193
194 @media print {
195 body {
196 font: 10pt "Times New Roman", "TimeNR", Times, serif;
197 }
198 a { font-weight:bold; color: #004080; text-decoration: underline; }
199
200 #main { background-color: #ffffff; border-left: 0px; }
201 #container { margin-left: 2%; margin-right: 2%; background-color: #ffffff; }
202
203 #content { margin-left: 0px; padding: 1em; border-left: 0px; border-right: 0px; background-color: #ffffff; }
204
205 #navigation { display: none;
206 }
207
208 #product_logo
209 {
210 display: none;
211 }
212
213 #about img
214 {
215 display: none;
216 }
217
218 .example {
219 font-family: "Andale Mono", monospace;
220 font-size: 8pt;
221 page-break-inside: avoid;
222 }
223 }

mercurial