14
14
/* -- page layout ----------------------------------------------------------- */
15
15
16
16
html {
17
- /* CSS hack for macOS's scrollbar (see #1125) */
18
- background-color : # FFFFFF ;
17
+ /* CSS hack for macOS's scrollbar (see #1125) */
18
+ background-color : # ffffff ;
19
19
}
20
20
21
21
body {
22
- font-family : ' Lucida Grande' , Arial, sans-serif;
23
- font-size : 100% ;
24
- background-color : white;
25
- color : # 000 ;
26
- margin : 0 ;
27
- padding : 0 ;
22
+ font-family : " Lucida Grande" , Arial, sans-serif;
23
+ font-size : 100% ;
24
+ background-color : white;
25
+ color : # 000 ;
26
+ margin : 0 ;
27
+ padding : 0 ;
28
28
}
29
29
30
30
div .document {
31
- background-color : white;
31
+ background-color : white;
32
32
}
33
33
34
34
div .documentwrapper {
35
- float : left;
36
- width : 100% ;
35
+ float : left;
36
+ width : 100% ;
37
37
}
38
38
39
39
div .bodywrapper {
40
- margin : 0 0 0 230px ;
40
+ margin : 0 0 0 230px ;
41
41
}
42
42
43
43
div .body {
44
- background-color : white;
45
- color : # 222222 ;
46
- padding : 0 20px 30px 20px ;
44
+ background-color : white;
45
+ color : # 222222 ;
46
+ padding : 0 20px 30px 20px ;
47
47
}
48
48
49
49
div .footer {
50
- color : # 555555 ;
51
- width : 100% ;
52
- padding : 9px 0 9px 0 ;
53
- text-align : center;
54
- font-size : 75% ;
50
+ color : # 555555 ;
51
+ width : 100% ;
52
+ padding : 9px 0 9px 0 ;
53
+ text-align : center;
54
+ font-size : 75% ;
55
55
}
56
56
57
57
div .footer a {
58
- color : # 555555 ;
59
- text-decoration : underline;
58
+ color : # 555555 ;
59
+ text-decoration : underline;
60
60
}
61
61
62
62
div .related {
63
- background-color : white;
64
- line-height : 30px ;
65
- color : # 666666 ;
63
+ background-color : white;
64
+ line-height : 30px ;
65
+ color : # 666666 ;
66
66
}
67
67
68
68
div .related a {
69
- color : # 444444 ;
69
+ color : # 444444 ;
70
70
}
71
71
72
72
div .sphinxsidebar {
73
73
}
74
74
75
75
div .sphinxsidebar h3 {
76
- font-family : ' Lucida Grande' , Arial, sans-serif;
77
- color : # 444444 ;
78
- font-size : 1.4em ;
79
- font-weight : normal;
80
- margin : 0 ;
81
- padding : 0 ;
76
+ font-family : " Lucida Grande" , Arial, sans-serif;
77
+ color : # 444444 ;
78
+ font-size : 1.4em ;
79
+ font-weight : normal;
80
+ margin : 0 ;
81
+ padding : 0 ;
82
82
}
83
83
84
84
div .sphinxsidebar h3 a {
85
- color : # 444444 ;
85
+ color : # 444444 ;
86
86
}
87
87
88
88
div .sphinxsidebar h4 {
89
- font-family : ' Lucida Grande' , Arial, sans-serif;
90
- color : # 444444 ;
91
- font-size : 1.3em ;
92
- font-weight : normal;
93
- margin : 5px 0 0 0 ;
94
- padding : 0 ;
89
+ font-family : " Lucida Grande" , Arial, sans-serif;
90
+ color : # 444444 ;
91
+ font-size : 1.3em ;
92
+ font-weight : normal;
93
+ margin : 5px 0 0 0 ;
94
+ padding : 0 ;
95
95
}
96
96
97
97
div .sphinxsidebar p {
98
- color : # 444444 ;
98
+ color : # 444444 ;
99
99
}
100
100
101
101
div .sphinxsidebar p .topless {
102
- margin : 5px 10px 10px 10px ;
102
+ margin : 5px 10px 10px 10px ;
103
103
}
104
104
105
105
div .sphinxsidebar ul {
106
- margin : 10px ;
107
- padding : 0 ;
108
- color : # 444444 ;
106
+ margin : 10px ;
107
+ padding : 0 ;
108
+ color : # 444444 ;
109
109
}
110
110
111
111
div .sphinxsidebar a {
112
- color : # 444444 ;
112
+ color : # 444444 ;
113
113
}
114
114
115
115
div .sphinxsidebar input {
116
- border : 1px solid # 444444 ;
117
- font-family : sans-serif;
118
- font-size : 1em ;
116
+ border : 1px solid # 444444 ;
117
+ font-family : sans-serif;
118
+ font-size : 1em ;
119
119
}
120
120
121
-
122
121
/* for collapsible sidebar */
123
122
div # sidebarbutton {
124
- background-color : # 3c6e83 ;
123
+ background-color : # 3c6e83 ;
125
124
}
126
125
127
-
128
126
/* -- hyperlink styles ------------------------------------------------------ */
129
127
130
128
a {
131
- color : # 0090c0 ;
132
- text-decoration : none;
129
+ color : # 0090c0 ;
130
+ text-decoration : none;
133
131
}
134
132
135
133
a : visited {
136
- color : # 00608f ;
137
- text-decoration : none;
134
+ color : # 00608f ;
135
+ text-decoration : none;
138
136
}
139
137
140
138
a : hover {
141
- text-decoration : underline;
139
+ text-decoration : underline;
142
140
}
143
141
144
-
145
-
146
142
/* -- body styles ----------------------------------------------------------- */
147
143
148
144
div .body h1 ,
@@ -151,121 +147,139 @@ div.body h3,
151
147
div .body h4 ,
152
148
div .body h5 ,
153
149
div .body h6 {
154
- font-family : 'Lucida Grande' , Arial, sans-serif;
155
- background-color : white;
156
- font-weight : normal;
157
- color : # 1a1a1a ;
158
- border-bottom : 1px solid # ccc ;
159
- margin : 20px -20px 10px -20px ;
160
- padding : 3px 0 3px 10px ;
161
- }
162
-
163
- div .body h1 { margin-top : 0 ; font-size : 200% ; }
164
- div .body h2 { font-size : 160% ; }
165
- div .body h3 { font-size : 140% ; }
166
- div .body h4 { font-size : 120% ; }
167
- div .body h5 { font-size : 110% ; }
168
- div .body h6 { font-size : 100% ; }
150
+ font-family : "Lucida Grande" , Arial, sans-serif;
151
+ background-color : white;
152
+ font-weight : normal;
153
+ color : # 1a1a1a ;
154
+ border-bottom : 1px solid # ccc ;
155
+ margin : 20px -20px 10px -20px ;
156
+ padding : 3px 0 3px 10px ;
157
+ }
158
+
159
+ div .body h1 {
160
+ margin-top : 0 ;
161
+ font-size : 200% ;
162
+ }
163
+ div .body h2 {
164
+ font-size : 160% ;
165
+ }
166
+ div .body h3 {
167
+ font-size : 140% ;
168
+ }
169
+ div .body h4 {
170
+ font-size : 120% ;
171
+ }
172
+ div .body h5 {
173
+ font-size : 110% ;
174
+ }
175
+ div .body h6 {
176
+ font-size : 100% ;
177
+ }
169
178
170
179
a .headerlink {
171
- color : # aaaaaa ;
172
- font-size : 0.8em ;
173
- padding : 0 4px 0 4px ;
174
- text-decoration : none;
180
+ color : # aaaaaa ;
181
+ font-size : 0.8em ;
182
+ padding : 0 4px 0 4px ;
183
+ text-decoration : none;
175
184
}
176
185
177
186
a .headerlink : hover {
178
- background-color : # aaaaaa ;
179
- color : white;
187
+ background-color : # aaaaaa ;
188
+ color : white;
180
189
}
181
190
182
- div .body p , div .body dd , div .body li , div .body blockquote {
183
- text-align : justify;
184
- line-height : 130% ;
191
+ div .body p ,
192
+ div .body dd ,
193
+ div .body li ,
194
+ div .body blockquote {
195
+ text-align : justify;
196
+ line-height : 130% ;
185
197
}
186
198
187
199
div .admonition p .admonition-title + p {
188
- display : inline;
200
+ display : inline;
189
201
}
190
202
191
203
div .admonition p {
192
- margin-bottom : 5px ;
204
+ margin-bottom : 5px ;
193
205
}
194
206
195
207
div .admonition pre {
196
- margin-bottom : 5px ;
208
+ margin-bottom : 5px ;
197
209
}
198
210
199
- div .admonition ul , div .admonition ol {
200
- margin-bottom : 5px ;
211
+ div .admonition ul ,
212
+ div .admonition ol {
213
+ margin-bottom : 5px ;
201
214
}
202
215
203
216
div .note {
204
- background-color : # eee ;
205
- border : 1px solid # ccc ;
217
+ background-color : # eee ;
218
+ border : 1px solid # ccc ;
206
219
}
207
220
208
221
div .seealso {
209
- background-color : # ffc ;
210
- border : 1px solid # ff6 ;
222
+ background-color : # ffc ;
223
+ border : 1px solid # ff6 ;
211
224
}
212
225
213
226
div .topic {
214
- background-color : # eee ;
227
+ background-color : # eee ;
215
228
}
216
229
217
230
div .warning {
218
- background-color : # ffe4e4 ;
219
- border : 1px solid # f66 ;
231
+ background-color : # ffe4e4 ;
232
+ border : 1px solid # f66 ;
220
233
}
221
234
222
235
p .admonition-title {
223
- display : inline;
236
+ display : inline;
224
237
}
225
238
226
239
p .admonition-title : after {
227
- content : ":" ;
240
+ content : ":" ;
228
241
}
229
242
230
243
pre {
231
- padding : 5px ;
232
- background-color : # eeffcc ;
233
- color : # 333333 ;
234
- line-height : 120% ;
235
- border : 1px solid # ac9 ;
236
- border-left : none;
237
- border-right : none;
244
+ padding : 5px ;
245
+ background-color : # eeffcc ;
246
+ color : # 333333 ;
247
+ line-height : 120% ;
248
+ border : 1px solid # ac9 ;
249
+ border-left : none;
250
+ border-right : none;
238
251
}
239
252
240
253
code {
241
- background-color : # ecf0f3 ;
242
- padding : 0 1px 0 1px ;
243
- font-size : 0.95em ;
254
+ background-color : # ecf0f3 ;
255
+ padding : 0 1px 0 1px ;
256
+ font-size : 0.95em ;
244
257
}
245
258
246
- th , dl .field-list > dt {
247
- background-color : # ede ;
259
+ th ,
260
+ dl .field-list > dt {
261
+ background-color : # ede ;
248
262
}
249
263
250
264
.warning code {
251
- background : # efc2c2 ;
265
+ background : # efc2c2 ;
252
266
}
253
267
254
268
.note code {
255
- background : # d6d6d6 ;
269
+ background : # d6d6d6 ;
256
270
}
257
271
258
272
.viewcode-back {
259
- font-family : ' Lucida Grande' , Arial, sans-serif;
273
+ font-family : " Lucida Grande" , Arial, sans-serif;
260
274
}
261
275
262
276
div .viewcode-block : target {
263
- background-color : # f4debf ;
264
- border-top : 1px solid # ac9 ;
265
- border-bottom : 1px solid # ac9 ;
277
+ background-color : # f4debf ;
278
+ border-top : 1px solid # ac9 ;
279
+ border-bottom : 1px solid # ac9 ;
266
280
}
267
281
268
282
div .code-block-caption {
269
- color : # efefef ;
270
- background-color : # 1c4e63 ;
271
- }
283
+ color : # efefef ;
284
+ background-color : # 1c4e63 ;
285
+ }
0 commit comments