1414/* -- page layout ----------------------------------------------------------- */
1515
1616html {
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 ;
1919}
2020
2121body {
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 ;
2828}
2929
3030div .document {
31- background-color : white;
31+ background-color : white;
3232}
3333
3434div .documentwrapper {
35- float : left;
36- width : 100% ;
35+ float : left;
36+ width : 100% ;
3737}
3838
3939div .bodywrapper {
40- margin : 0 0 0 230px ;
40+ margin : 0 0 0 230px ;
4141}
4242
4343div .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 ;
4747}
4848
4949div .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% ;
5555}
5656
5757div .footer a {
58- color : # 555555 ;
59- text-decoration : underline;
58+ color : # 555555 ;
59+ text-decoration : underline;
6060}
6161
6262div .related {
63- background-color : white;
64- line-height : 30px ;
65- color : # 666666 ;
63+ background-color : white;
64+ line-height : 30px ;
65+ color : # 666666 ;
6666}
6767
6868div .related a {
69- color : # 444444 ;
69+ color : # 444444 ;
7070}
7171
7272div .sphinxsidebar {
7373}
7474
7575div .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 ;
8282}
8383
8484div .sphinxsidebar h3 a {
85- color : # 444444 ;
85+ color : # 444444 ;
8686}
8787
8888div .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 ;
9595}
9696
9797div .sphinxsidebar p {
98- color : # 444444 ;
98+ color : # 444444 ;
9999}
100100
101101div .sphinxsidebar p .topless {
102- margin : 5px 10px 10px 10px ;
102+ margin : 5px 10px 10px 10px ;
103103}
104104
105105div .sphinxsidebar ul {
106- margin : 10px ;
107- padding : 0 ;
108- color : # 444444 ;
106+ margin : 10px ;
107+ padding : 0 ;
108+ color : # 444444 ;
109109}
110110
111111div .sphinxsidebar a {
112- color : # 444444 ;
112+ color : # 444444 ;
113113}
114114
115115div .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 ;
119119}
120120
121-
122121/* for collapsible sidebar */
123122div # sidebarbutton {
124- background-color : # 3c6e83 ;
123+ background-color : # 3c6e83 ;
125124}
126125
127-
128126/* -- hyperlink styles ------------------------------------------------------ */
129127
130128a {
131- color : # 0090c0 ;
132- text-decoration : none;
129+ color : # 0090c0 ;
130+ text-decoration : none;
133131}
134132
135133a : visited {
136- color : # 00608f ;
137- text-decoration : none;
134+ color : # 00608f ;
135+ text-decoration : none;
138136}
139137
140138a : hover {
141- text-decoration : underline;
139+ text-decoration : underline;
142140}
143141
144-
145-
146142/* -- body styles ----------------------------------------------------------- */
147143
148144div .body h1 ,
@@ -151,121 +147,139 @@ div.body h3,
151147div .body h4 ,
152148div .body h5 ,
153149div .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+ }
169178
170179a .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;
175184}
176185
177186a .headerlink : hover {
178- background-color : # aaaaaa ;
179- color : white;
187+ background-color : # aaaaaa ;
188+ color : white;
180189}
181190
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% ;
185197}
186198
187199div .admonition p .admonition-title + p {
188- display : inline;
200+ display : inline;
189201}
190202
191203div .admonition p {
192- margin-bottom : 5px ;
204+ margin-bottom : 5px ;
193205}
194206
195207div .admonition pre {
196- margin-bottom : 5px ;
208+ margin-bottom : 5px ;
197209}
198210
199- div .admonition ul , div .admonition ol {
200- margin-bottom : 5px ;
211+ div .admonition ul ,
212+ div .admonition ol {
213+ margin-bottom : 5px ;
201214}
202215
203216div .note {
204- background-color : # eee ;
205- border : 1px solid # ccc ;
217+ background-color : # eee ;
218+ border : 1px solid # ccc ;
206219}
207220
208221div .seealso {
209- background-color : # ffc ;
210- border : 1px solid # ff6 ;
222+ background-color : # ffc ;
223+ border : 1px solid # ff6 ;
211224}
212225
213226div .topic {
214- background-color : # eee ;
227+ background-color : # eee ;
215228}
216229
217230div .warning {
218- background-color : # ffe4e4 ;
219- border : 1px solid # f66 ;
231+ background-color : # ffe4e4 ;
232+ border : 1px solid # f66 ;
220233}
221234
222235p .admonition-title {
223- display : inline;
236+ display : inline;
224237}
225238
226239p .admonition-title : after {
227- content : ":" ;
240+ content : ":" ;
228241}
229242
230243pre {
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;
238251}
239252
240253code {
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 ;
244257}
245258
246- th , dl .field-list > dt {
247- background-color : # ede ;
259+ th ,
260+ dl .field-list > dt {
261+ background-color : # ede ;
248262}
249263
250264.warning code {
251- background : # efc2c2 ;
265+ background : # efc2c2 ;
252266}
253267
254268.note code {
255- background : # d6d6d6 ;
269+ background : # d6d6d6 ;
256270}
257271
258272.viewcode-back {
259- font-family : ' Lucida Grande' , Arial, sans-serif;
273+ font-family : " Lucida Grande" , Arial, sans-serif;
260274}
261275
262276div .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 ;
266280}
267281
268282div .code-block-caption {
269- color : # efefef ;
270- background-color : # 1c4e63 ;
271- }
283+ color : # efefef ;
284+ background-color : # 1c4e63 ;
285+ }
0 commit comments