Skip to content

Commit 840ee58

Browse files
committed
Revert commit
1 parent cdebe2e commit 840ee58

File tree

67 files changed

+8301
-12106
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

67 files changed

+8301
-12106
lines changed

static/1.10.1/css/docpage.css

Lines changed: 75 additions & 75 deletions
Original file line numberDiff line numberDiff line change
@@ -3,169 +3,169 @@
33
*/
44

55
.subtitle {
6-
text-align: center;
6+
text-align: center;
77
}
88

99
.twocol {
10-
display: flex;
11-
justify-content: space-evenly;
12-
align-items: flex-start;
10+
display: flex;
11+
justify-content: space-evenly;
12+
align-items: flex-start;
1313
}
1414

1515
@media (min-width: 1400px) {
16-
.twocol {
17-
display: block;
18-
}
19-
.toc {
20-
position: absolute;
21-
}
16+
.twocol {
17+
display: block;
18+
}
19+
.toc {
20+
position: absolute;
21+
}
2222
}
2323

2424
@media (max-width: 800px) {
25-
.main-content {
26-
margin-top: 35px;
27-
}
28-
.twocol {
29-
flex-direction: column;
30-
}
31-
.toc {
32-
background: #f2f2f2;
33-
width: calc(100% - 60px);
34-
}
35-
.prevnext-text a {
36-
padding: 5px;
37-
background: gray;
38-
}
25+
.main-content {
26+
margin-top: 35px;
27+
}
28+
.twocol {
29+
flex-direction: column;
30+
}
31+
.toc {
32+
background: #f2f2f2;
33+
width: calc(100% - 60px);
34+
}
35+
.prevnext-text a {
36+
padding: 5px;
37+
background: gray;
38+
}
39+
3940
}
4041

4142
/*
4243
* Table of Contents
4344
*/
4445

4546
.toc-hidden {
46-
display: none;
47+
display: none;
4748
}
4849

4950
.toc {
50-
padding-left: 30px;
51-
padding-right: 30px;
52-
padding-top: 72px;
53-
padding-bottom: 45px;
51+
padding-left: 30px;
52+
padding-right: 30px;
53+
padding-top: 72px;
54+
padding-bottom: 45px;
5455
}
5556

5657
.toc a {
57-
text-decoration: none;
58+
text-decoration: none;
5859
}
5960

6061
.toc span {
61-
padding: 2px;
62+
padding: 2px;
6263
}
6364

6465
.toc span.selected {
6566
background: #0765911a;
6667
}
67-
68+
6869
.toc span:hover {
6970
background: #0765911a;
7071
}
7172

7273
.toc ul {
73-
margin-top: 0px;
74-
margin-bottom: 0px;
75-
margin-left: 12px;
76-
margin-right: 0px;
74+
margin-top: 0px;
75+
margin-bottom: 0px;
76+
margin-left: 12px;
77+
margin-right: 0px;
7778
}
7879

7980
.toc ul li {
80-
text-decoration: none;
81-
color: #076591;
82-
font-size: 1rem;
81+
text-decoration: none;
82+
color: #076591;
83+
font-size: 1rem;
8384
}
8485

8586
/*
8687
* Documentation item (binding)
8788
*/
8889

8990
.binding {
90-
margin: 10px;
91-
font-size: 1rem;
91+
margin: 10px;
92+
font-size: 1rem;
9293
}
9394

9495
.binding-type {
95-
display: block;
96-
font-size: 0.8em;
97-
color: #888;
96+
display: block;
97+
font-size: 0.8em;
98+
color: #888;
9899
}
99100

100101
.binding-sym {
101-
font-family: serif;
102-
font-weight: 600;
102+
font-family: serif;
103+
font-weight: 600;
103104
}
104105

105106
.binding-text {
106-
color: #444;
107-
margin-top: 14px;
108-
font-family: "Dosis", "Helvetica", sans-serif;
107+
color: #444;
108+
margin-top: 14px;
109+
font-family: 'Dosis','Helvetica', sans-serif;
109110
}
110111

111112
.example-title {
112-
margin-top: 28px;
113-
color: #888;
114-
font-family: "Dosis", "Helvetica", sans-serif;
113+
margin-top: 28px;
114+
color: #888;
115+
font-family: 'Dosis','Helvetica', sans-serif;
115116
}
116117

117118
/* Toc Toggle */
118119

119120
#toc-toggle {
120-
text-align: center;
121-
padding: 6px;
122-
position: absolute;
123-
top: 10px;
124-
left: 10px;
125-
z-index: 2;
121+
text-align: center;
122+
padding: 6px;
123+
position: absolute;
124+
top: 10px;
125+
left: 10px;
126+
z-index: 2;
126127
}
127128

128129
#toc-toggle .bar {
129-
margin: 7px;
130-
height: 4px;
131-
width: 28px;
132-
border-radius: 2px;
133-
background: #ccc;
130+
margin: 7px;
131+
height: 4px;
132+
width: 28px;
133+
border-radius: 2px;
134+
background: #CCC;
134135
}
135136

136137
#toc-toggle.open .topbar {
137-
transform: rotate(-45deg) translate(-5px, -2px);
138+
transform: rotate(-45deg) translate(-5px, -2px);
138139
}
139140

140141
#toc-toggle.open .botbar {
141-
transform: rotate(45deg) translate(-5px, 2px);
142+
transform: rotate(45deg) translate(-5px, 2px);
142143
}
143144

144145
/* Prev Next bar */
145146

146147
.prevnext-bar {
147-
padding: 40px 15px;
148-
margin: 10px 0;
148+
padding: 40px 15px;
149+
margin: 10px 0;
149150
}
150151

151-
.prev,
152-
.next {
153-
color: #076591;
152+
.prev, .next {
153+
color: #076591;
154154
}
155155

156156
.prev {
157-
float: left;
157+
float: left;
158158
}
159159

160160
.prev .prevnext-text::before {
161-
content: "< ";
161+
content: "< ";
162162
}
163163

164164
.next {
165-
float: right;
166-
margin-left: 30px;
165+
float: right;
166+
margin-left: 30px;
167167
}
168168

169169
.next .prevnext-text::after {
170-
content: " >";
170+
content: " >";
171171
}

0 commit comments

Comments
 (0)