We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 5fd810d commit f57e73bCopy full SHA for f57e73b
43 files changed
doc/_build/html/_static/basic.css
@@ -235,9 +235,9 @@ img.align-right, .figure.align-right, object.align-right {
235
}
236
237
img.align-center, .figure.align-center, object.align-center {
238
- display: block;
239
- margin-left: auto;
240
- margin-right: auto;
+ display: block;
+ margin-left: auto;
+ margin-right: auto;
241
242
243
.align-left {
@@ -416,7 +416,7 @@ dl.glossary dt {
416
border: 3px solid red;
417
418
419
-.footnote:target {
+.footnote:target {
420
background-color: #ffa;
421
422
@@ -453,7 +453,7 @@ abbr, acronym {
453
454
pre {
455
overflow: auto;
456
- overflow-y: hidden; /* fixes display issues on Chrome browsers */
+ overflow-y: hidden; /* fixes display issues on Chrome browsers */
457
458
459
td.linenos pre {
doc/_build/html/_static/default.css
@@ -8,7 +8,6 @@
8
* :license: BSD, see LICENSE for details.
9
*
10
*/
11
-
12
@import url("basic.css");
13
14
/* -- page layout ----------------------------------------------------------- */
@@ -113,8 +112,6 @@ div.sphinxsidebar input {
113
112
font-size: 1em;
114
115
116
117
118
/* -- hyperlink styles ------------------------------------------------------ */
119
120
a {
@@ -131,8 +128,6 @@ a:hover {
131
128
text-decoration: underline;
132
129
133
130
134
135
136
/* -- body styles ----------------------------------------------------------- */
137
138
div.body h1,
@@ -150,12 +145,30 @@ div.body h6 {
150
145
padding: 3px 0 3px 10px;
151
146
152
147
153
-div.body h1 { margin-top: 0; font-size: 200%; }
154
-div.body h2 { font-size: 160%; }
155
-div.body h3 { font-size: 140%; }
156
-div.body h4 { font-size: 120%; }
157
-div.body h5 { font-size: 110%; }
158
-div.body h6 { font-size: 100%; }
148
+div.body h1 {
149
+ margin-top: 0;
+ font-size: 200%;
+}
+
+div.body h2 {
+ font-size: 160%;
+div.body h3 {
+ font-size: 140%;
159
160
161
+div.body h4 {
162
+ font-size: 120%;
163
164
165
+div.body h5 {
166
+ font-size: 110%;
167
168
169
+div.body h6 {
170
+ font-size: 100%;
171
172
173
a.headerlink {
174
color: #c60f0f;
0 commit comments