1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
|
img { border: 0px; padding: 1px; }
h2 { background: #098aba;
padding: 0px 0px 0px 5px;
margin: 0px;
font-variant: small-caps;
font-size: 16px; }
body { font-size: 14px; }
/* Generate page layout */
div#objectName { font-variant: small-caps;
font-weight: bold;
font-size: 20px;
background: #0ca7e1;
padding: 3px 0px 3px 0px;
width: 100%;
margin: 0px 0px 0px 0px;
top: 0px;
left: 0px;
vertical-align: middle;
border: 1px solid black}
div#leftSide { float: left;
/* min-width: 200px; /* width of screenshots */
margin: 0px 0px 0px 0px;
}
div#documentation { float: left;
margin: 10px 0px 0px 10px;
padding: 0px 10px 0px 0px;
width: 730px; /* So that it works in 1024x768 */
}
div.notebookPage { padding: 0px 4px 0px 0px; }
div#rightSide { float: left;
margin: 0px 0px 0px 10px; }
div.Toc { border: 1px solid black;
margin: 10px 10px 0px 0px;
float: left;
min-height: 370px;
width: 220px; }
div.GeneralIndex { border: 1px solid black;
margin: 10px 10px 0px 100px;
}
div#IndexIndex { width: 80px;
float: left;
margin: 10px 0px 0px 0px;
position: fixed;
border: 1px solid black; }
div.gallery { float: left;
padding: 5px 10px 5px 0px; }
div.gallery-spacer { clear: both; }
/* Automatic scrollbars in some of the lists
Uncomment this to have local scrollbars in the Alphabetical index and the
main documentation page.
This is not perfect without javascript support: the maximum height should
depend on the screen height and the number of toolbars displayed in the
browser. Otherwise, we also have a general scrollbar for the page, which
interacts badly with the rest.
Also, some browsers, in particular Konqueror 3.5.3 do not work well with
anchors in such a case, and the index can't be clicked on to jump to a
specific subprogram as a result.
*/
/*
div.notebookPage,
div#Index ul { max-height: 800px; // SCREEN SIZE
overflow: auto; }
*/
/* Styles within each region */
div#objectName span { margin: 10px 50px 0px 0px;
}
div#objectName span img { margin: 0px; }
div#leftSide div,
div#rightSide div { border: 1px solid black;
padding: 0px 0px 0px 0px;
margin-top: 10px;
}
a:link,
a:active,
a:visited { text-decoration: none;
color: blue;
}
div#leftSide a:hover,
div#rightSide a:hover { color: red; }
div#leftSide ul,
div.GeneralIndex ul,
div#widgetTree ul,
div.Toc ul,
div#rightSide ul { margin: 2px 0px 0px 10px;
padding: 0px 0px 0px 0px; }
div#navigation ul ul { margin: 0px 0px 0px 10px; }
div#navigation li li { list-style-type: square;
list-style-position: inside;
font-style: oblique;
font-size: 0.9em; }
div#classHierarchy ul.top { padding-right: 5px; }
div#classHierarchy img { border-width: 0px;
padding: 0px;
margin: 0px 0px 0px 0px;
outline-width: 0px }
div#classHierarchy ul { margin: 0px 0px 5px 0px; }
div#classHierarchy ul ul { margin: 0px; }
div#widgetTree ul ul { margin: 0px; }
div#classHierarchy li,
div#widgetTree li { margin: 0px;
padding: 0px;
font-size: 14px;
vertical-align: middle; }
div#widgetTreeButtons input { font-size: 12px;
padding: 0px; }
div#widgetTree li { margin: 0px;
padding: 0px;
height: 18px;
font-size: 14px;
vertical-align: middle; }
div#leftSide li,
div.GeneralIndex li,
div#widgetTree li,
div.Toc li,
div#rightSide li { list-style-type: none;
list-style-position: inside }
div#screenshot { text-align: center;
background: #dcdad5; }
div.description { background: #eee4cb;
white-space: normal;
margin-bottom: 20px; }
div#subprograms ul,
div#types ul { padding: 0px;
margin: 0px; }
div#subprograms li,
div#types li { list-style-type: none;
/* padding: 0px 5px 0px 5px; */
margin: 0px 0px 20px 0px;
border: 1px solid black;}
div#subprograms span.name,
div#types span.name,
div.properties div.name,
div#signals div.name { color: red; }
div#signals div.name { background: #ddd3ba;
width: 100%;}
div#subprograms div.profile,
div#types div.profile,
div.properties div.profile,
div#signals div.profile { white-space: pre;
font-family: "Courier New", Courier;
padding: 0px 5px 0px 5px;
background: #ddddee; }
div#example,
div#testgtk { font-family: "Courier New", Courier;
white-space: pre; }
div#subprograms div.comment,
div.properties div.comment,
div#types div.comment,
div#signals div.comment { padding: 0px 5px 0px 5px; }
div#subprograms h3 { font-size: 16px;
background: #ddd3ba;
margin: 0px;
}
div#signals ul,
div.properties ul { margin: 0px; }
div#signals li,
div.properties li { list-style-type: none;
border: 1px solid black;
margin: 0px 0px 10px 0px; }
/* Notebooks */
ul#notebook { border-bottom: 1px solid black;
padding: 0px;
margin: 3px 0px 5px 0px; }
ul#notebook li { display: inline;
margin: 0px;
padding: 0px 5px 0px 0px;
border-bottom: 1px solid black;
list-style-type: none; }
ul#notebook a:link,
ul#notebook a:active,
ul#notebook a:visited { text-decoration: none;
background: #ddd;
padding: 0px 4px 0px 4px;
border: 1px solid black;
color: #333; }
ul#notebook li.current a:link,
ul#notebook li.current a:active,
ul#notebook li.current a:visited { background: #bbb; }
ul#notebook li.current { border-bottom: 0px solid red; }
|
