1/*
2 * (C) Copyright 2001-2015 Diomidis Spinellis.
3 *
4 * This file is part of CScout.
5 *
6 * CScout is free software: you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License as published by
8 * the Free Software Foundation, either version 3 of the License, or
9 * (at your option) any later version.
10 *
11 * CScout is distributed in the hope that it will be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14 * GNU General Public License for more details.
15 *
16 * You should have received a copy of the GNU General Public License
17 * along with CScout.  If not, see <http://www.gnu.org/licenses/>.
18 *
19 * CScout Cascading Style Sheet
20 *
21 * This is converted into css.c and compiled into the code.
22 * It can also be loaded as style.css from a CScout configuration
23 * directory.
24 *
25 */
26
27/* General style */
28h1 {
29	font-family: tahoma;
30	font-size:1.6em;
31	color:#888888;
32	border-bottom: 4px solid #0066cc;
33	padding:0px 0px 5px 0px;
34}
35
36h2 {
37	font-family: tahoma;
38	font-size:1.3em;
39	color:#003399;
40	border-bottom: 1px dotted #777777;
41	padding: 2px 0px 3px 0px;
42	margin: 20px 0px 5px 0px;
43}
44
45h3 {
46	font-family: tahoma;
47	font-size:1.1em;
48	color:#666666;
49	border-left: 5px solid #666666;
50	padding: 0px 0px 0px 5px;
51	margin: 10px 0px 5px 0px;
52}
53
54p,td,th,body,ul,body {
55	font-family: verdana;
56	line-height:1.2em;
57}
58
59.footer {
60	font-family: verdana;
61	color:#666666;
62	font-size:0.6em;
63	line-height:1.5em;
64}
65
66
67ul {
68	list-style-type: square;
69	color:#242424;
70	line-height:1.4em;
71}
72
73a:link {color:#3366cc;}
74a:visited {color:#3366cc;}
75a:hover {color:#888888;}
76
77/* Used in the manual pages */
78pre {
79	line-height:1.1em;
80	padding:4px;
81	background-color: #eeeeee;
82	border: 1px solid #000080;
83	margin-top: 0.5em;
84	margin-bottom: 0.5em;
85}
86
87div.code {
88	line-height:1.1em;
89	padding:4px;
90	background-color: #eeeeee;
91	border: 1px solid #000080;
92	margin-top: 0.5em;
93	margin-bottom: 0.5em;
94}
95
96
97ul, ol, table {
98	margin-top: 0.5em;
99	margin-bottom: 0.5em;
100}
101
102
103/* Page numbering */
104.pagen {
105	font-family:Trebuchet MS,Helvetica,sans-serif;
106	border:1px solid #ccc;
107	color:#808185;
108	display:inline-block;
109	margin-right:3px;
110	margin-bottom:3px;
111	padding:2px 4px 3px;
112	text-decoration:none
113}
114.pagen:hover {
115	text-decoration:none
116}
117.pagen.next, .pagen.prev, .pagen.all, {
118	border:1px solid #fff
119}
120.pagen.this {
121	background-color:#808185;
122	border:1px solid #808185;
123	color:white;
124	font-weight:bold
125}
126
127/* Main page operation blocks */
128.mainblock {
129	background: #f0f0f0;
130	padding: 0.01em 1em 1em 1em;
131	margin-right: 1em;
132	margin-top: 1em;
133}
134
135/* Metrics tables */
136table.metrics tr th{
137	font-weight: bold;
138	text-align:left;
139	background:#a6caf0;
140}
141
142table.metrics tr td{
143	background:#eeeee0;
144}
145
146
147/* Unused lines */
148.unused  {
149	color: red
150}
151
152/* Heading for options */
153.opthead {
154	font-weight:bold;
155	font-size:large;
156	text-align:left;
157	padding-top:.8em;
158}
159
160/* Graphical elements for the function exploration */
161table.box {
162	border-width: 0px;
163	border-spacing: 2px;
164	border-style: none;
165	border-collapse: separate;
166}
167
168table.box th {
169	border-width: 1px 1px 1px 1px;
170	padding: 0px;
171	border-style: solid;
172	border-color: gray;
173	width: 1em;
174}
175
176table.box td {
177	border-width: 0px;
178	padding-left: 0.5em;
179	border-style: none;
180}
181
182a.plain:link {
183    text-decoration: none;
184}
185a.plain:visited {
186    text-decoration: none;
187}
188
189table.unbox {
190	border-width: 0px;
191	border-spacing: 2px;
192	border-style: none;
193	border-collapse: separate;
194}
195
196table.unbox th {
197	border-width: 1px 1px 1px 1px;
198	padding: 1px;
199	border-style: none;
200	border-color: gray;
201	width: 1em;
202}
203
204table.unbox td {
205	border-width: 0px;
206	padding-left: 0.5em;
207	border-style: none;
208}
209
210/*document navigation*/
211.docnav a, .docnav strong {
212	text-decoration:none;
213	font-weight:normal;
214}
215.docnav {
216	list-style:none;
217	margin:0em;
218	padding:0em;
219	position:relative;
220	width:100%;
221	padding-bottom:2em;
222	padding-top:1em;
223	border-top:1px dotted #ccc;
224}
225.docnav li {
226	list-style:none;
227	margin:0em;
228	padding:0em;
229	display:inline;
230	font-size:.8em;
231}
232.docnav li:before {
233	content:" ";
234}
235.docnav li.previous, .docnav li.next {
236	position:absolute;
237	top:1em;
238}
239.docnav li.contents, .docnav li.home {
240	margin:0em 1.5em;
241}
242.docnav li.previous {
243	left:0px;
244	text-align:left;
245}
246.docnav li.next {
247	right:0px;
248	text-align:right;
249}
250.docnav li.previous strong, .docnav li.next strong {
251	display:block;
252	height:22px;
253}
254.docnav {
255	margin:0 auto;
256	text-align:center;
257}
258.docnav li.next a strong{
259	background:  url(stock-go-forward.png) top right no-repeat;
260	padding-top:3px;
261	padding-right:28px;
262	font-size:1.2em;
263}
264.docnav li.previous a strong{
265	background: url(stock-go-back.png) top left no-repeat;
266	padding-top:3px;
267	padding-left:28px;
268	font-size:1.2em;
269}
270.docnav li.home a strong{
271	background: url(stock-home.png) top left no-repeat;
272	padding:5px;
273	padding-left:28px;
274	font-size:1.2em;
275}
276.docnav li.contents a strong{
277	background: url(stock-go-up.png) top left no-repeat;
278	padding:5px;
279	padding-left:28px;
280	font-size:1.2em;
281}
282.docnav a:link, .docnav a:visited {
283	color:#666 !important;
284}
285.docnav a:hover,.docnav a:focus, .docnav a:active {
286	color:black !important;
287}
288.docnav a{
289	max-width: 10em;
290	overflow:hidden;
291}
292.docnav a:link strong{
293	text-decoration:none;
294}
295
296.docnav{
297	margin:0 auto;
298	text-align:center;
299}
300