13
13
14
14
/* -- page layout ----------------------------------------------------------- */
15
15
16
- body {
17
- font-family: Arial, sans-serif;
18
- font-size: 100%;
19
- color: #555;
20
- margin: 0;
21
- padding: 0;
22
- }
23
-
24
-
25
- div.documentwrapper {
26
- width: 100%;
27
- }
28
-
29
- div.bodywrapper {
30
- /* ugly hack, probably not attractive with other font size for re*/
31
- margin: 0 0 0 {{ theme_sidebarwidth|toint}}px;
32
- min-width: 540px;
33
- max-width: 800px;
34
- }
35
-
36
-
37
16
hr {
38
17
border: 1px solid #B1B4B6;
39
18
}
40
19
41
- div.document {
42
- background-color: #eee;
43
- }
44
-
45
- div.body {
46
- background-color: #ffffff;
47
- color: #3E4349;
48
- padding: 0 30px 30px 30px;
49
- font-size: 0.9em;
50
- }
51
-
52
- div.footer {
53
- color: #555;
54
- width: 100%;
55
- padding: 13px 0;
56
- text-align: center;
57
- font-size: 75%;
58
- }
59
-
60
- div.footer a {
61
- color: #444;
62
- text-decoration: underline;
63
- }
64
-
65
- div.related {
66
- background-color: #6BA81E;
67
- line-height: 32px;
68
- color: #fff;
69
- text-shadow: 0px 1px 0 #444;
70
- font-size: 0.9em;
71
- }
72
-
73
- div.related a {
74
- color: #E2F3CC;
75
- }
76
-
77
- div.sphinxsidebar {
78
- font-size: 0.75em;
79
- line-height: 1.5em;
80
- width: {{ theme_sidebarwidth|toint }}px;
81
- margin: 0 ;
82
- float: left;
83
-
84
- background-color: #eee;
85
- }
86
- /*
87
- div.sphinxsidebarwrapper{
88
- padding: 20px 0;
89
- }
90
- */
91
- div.sphinxsidebar h3,
92
- div.sphinxsidebar h4 {
93
- font-family: Arial, sans-serif;
94
- color: #222;
95
- font-size: 1.2em;
96
- font-weight: normal;
97
- margin: 20px 0 0 0;
98
- padding: 5px 10px;
99
- background-color: #ddd;
100
- text-shadow: 1px 1px 0 white
101
- }
102
-
103
- div.sphinxsidebar h4{
104
- font-size: 1.1em;
105
- }
106
-
107
- div.sphinxsidebar h3 a {
108
- color: #444;
109
- }
110
-
111
-
112
- div.sphinxsidebar p {
113
- color: #888;
114
- /* padding: 5px 20px;*/
115
- }
116
-
117
- div.sphinxsidebar p.searchtip {
118
- color: #888;
119
- padding: 5px 20px;
120
- }
121
-
122
-
123
- div.sphinxsidebar p.topless {
124
- }
125
-
126
- div.sphinxsidebar ul {
127
- margin: 10px 20px;
128
- padding: 0;
129
- color: #000;
130
- }
131
-
132
- div.sphinxsidebar a {
133
- color: #444;
134
- }
135
-
136
- div.sphinxsidebar input {
137
- border: 1px solid #ccc;
138
- font-family: sans-serif;
139
- font-size: 1em;
140
- }
141
-
142
- div.sphinxsidebar input[type=text]{
143
- margin-left: 20px;
144
- }
145
-
146
20
/* -- body styles ----------------------------------------------------------- */
147
21
148
22
a {
@@ -155,28 +29,7 @@ a:hover {
155
29
text-decoration: underline;
156
30
}
157
31
158
- div.body h1,
159
- div.body h2,
160
- div.body h3,
161
- div.body h4,
162
- div.body h5,
163
- div.body h6 {
164
- font-family: Arial, sans-serif;
165
- background-color: #BED4EB;
166
- font-weight: normal;
167
- color: #212224;
168
- margin: 30px 0px 10px 0px;
169
- padding: 5px 0 5px 10px;
170
- text-shadow: 0px 1px 0 white
171
- }
172
-
173
- div.body h1 { border-top: 20px solid white; margin-top: 0; font-size: 200%; }
174
- div.body h2 { font-size: 150%; background-color: #C8D5E3; }
175
- div.body h3 { font-size: 120%; background-color: #D8DEE3; }
176
- div.body h4 { font-size: 110%; background-color: #D8DEE3; }
177
- div.body h5 { font-size: 100%; background-color: #D8DEE3; }
178
- div.body h6 { font-size: 100%; background-color: #D8DEE3; }
179
-
32
+ /* section header in docstring pages */
180
33
p.rubric {
181
34
border-bottom: 1px solid rgb(201, 201, 201);
182
35
}
@@ -193,10 +46,6 @@ a.headerlink:hover {
193
46
color: white;
194
47
}
195
48
196
- div.body p, div.body dd, div.body li {
197
- line-height: 1.5em;
198
- }
199
-
200
49
div.admonition p.admonition-title + p, div.deprecated p {
201
50
display: inline;
202
51
}
@@ -246,20 +95,11 @@ pre {
246
95
color: #222;
247
96
line-height: 1.2em;
248
97
border: 1px solid rgb(201,201,201);
249
- font-size: 1.1em;
250
98
margin: 1.5em 0 1.5em 0;
251
99
-webkit-box-shadow: 1px 1px 1px #d8d8d8;
252
100
-moz-box-shadow: 1px 1px 1px #d8d8d8;
253
101
}
254
102
255
- tt {
256
- background-color: #ecf0f3;
257
- color: #222;
258
- /* padding: 1px 2px; */
259
- font-size: 1.1em;
260
- font-family: monospace;
261
- }
262
-
263
103
.viewcode-back {
264
104
font-family: Arial, sans-serif;
265
105
}
0 commit comments