Skip to content

Commit 5b56587

Browse files
chore: Docs
1 parent c9ef1ec commit 5b56587

File tree

3,505 files changed

+461510
-376243
lines changed

Some content is hidden

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

3,505 files changed

+461510
-376243
lines changed
Original file line numberDiff line numberDiff line change
@@ -1,47 +1,9 @@
11

2-
body {background: #fff; color: #333; font-family: "Courier New", Courier, monospace;}
3-
.grey {color: #ccc;}
4-
a {color: #079;}
5-
.module-version {color: #555; font-style: italic; font-size: smaller; text-decoration: none;}
6-
ol.package-list {line-height: 139%;}
7-
h3 {background: #ddd;}
8-
9-
.md-text a {color: #333;}
10-
.md-text a:hover {color: black;}
11-
.md-text a:visited {color: #666;}
12-
.md-text a:visited:hover {color: black;}
13-
14-
.b {font-weight: bold;}
15-
16-
.title {font-size: 110%; font-wieght: bold;}
17-
.title:after {content: ":";}
18-
.title-stat {font-size: medium; font-wieght: normal;}
19-
20-
.type-res, .value-res {padding-top: 2px; padding-bottom: 2px;}
212

223
.js-on {display: none;}
234

24-
.button {border-radius: 3px; padding: 1px 3px;}
25-
.chosen {background: #226; color: #ff8; cursor: default;}
26-
.unchosen {}
27-
28-
#footer {
29-
padding: 5px 8px;
30-
font-size: small;
31-
color: #555;
32-
border-top: 1px solid #888;
33-
}
34-
35-
36-
375
/* overview page */
386

39-
div.pkg {margin-top: 1px; padding-top: 1px; padding-bottom: 1px;}
40-
41-
a.path-duplicate {color: #9cd;}
42-
43-
.golds-update {text-align: center; font-size: smaller; background: #eee; padding: 3px;}
44-
457
.pkg-summary {display: none;}
468
input#toggle-summary {display: none;}
479
input#toggle-summary:checked ~ div .pkg-summary {display: inline;}
@@ -67,25 +29,12 @@ div.codelines .depheight {display: none;}
6729
div.codelines .importedbys {display: none;}
6830
div.codelines .depdepth {display: none;}
6931

70-
div.codelines a.path-duplicate {color: #079;}
71-
div.importedbys a.path-duplicate {color: #079;}
72-
div.depdepth a.path-duplicate {color: #079;}
73-
div.depheight a.path-duplicate {color: #079;}
74-
75-
i.codelines, i.importedbys, i.depdepth, i.depheight {font-size: smaller;}
76-
7732
/* package details page */
7833

7934
div:target {display: block;}
80-
span.nodocs {padding-left: 1px; padding-right: 1px;}
81-
span.nodocs:before {content: ". ";}
82-
label {cursor: pointer; padding-left: 1px; padding-right: 1px;}
8335
input.fold {display: none;}
8436
/*input.fold + label +*/ .fold-items {display: none;}
8537
/*input.fold + label +*/ .fold-docs {display: none;}
86-
input.fold + label:before {content: "▶ ";}
87-
input.fold:checked + label:before {content: "▼ ";}
88-
input.fold:checked + label.fold-items:after {content: ":";}
8938
input.fold:checked + label + .fold-items {display: inline;}
9039
input.fold:checked + label + .fold-docs {display: inline;}
9140
input.fold + label.stats:before {content: "";}
@@ -103,43 +52,108 @@ input.showhide2:checked ~ span.hidden {display: inline;}
10352

10453
/* code page */
10554

55+
pre.line-numbers {
56+
counter-reset: line;
57+
}
58+
pre.line-numbers span.codeline {
59+
counter-increment: line;
60+
}
61+
pre.line-numbers span.codeline:before {
62+
display: inline-block;
63+
content: counter(line)"|";
64+
user-select: none;
65+
-webkit-user-select: none;
66+
-moz-user-select: none;
67+
-ms-user-select: none;
68+
text-align: right;
69+
position: absolute;
70+
}
71+
72+
73+
body {background: #fff; color: #333; font-family: "Courier New", Courier, monospace;}
74+
75+
a {color: #079;}
76+
77+
.md-text a {color: #333;}
78+
.md-text a:hover {color: black;}
79+
.md-text a:visited {color: #666;}
80+
.md-text a:visited:hover {color: black;}
81+
82+
.b {font-weight: bold;}
83+
84+
.title {font-size: 110%; font-weight: bold;}
85+
.title:after {content: ":";}
86+
.title-stat {font-size: medium; font-weight: normal;}
87+
88+
.type-res, .value-res {padding-top: 2px; padding-bottom: 2px;}
89+
90+
.button {border-radius: 3px; padding: 1px 3px;}
91+
.chosen {background: #226; color: #ff8; cursor: default;}
92+
.unchosen {}
93+
94+
#footer {
95+
padding: 5px 8px;
96+
font-size: small;
97+
color: #555;
98+
border-top: 1px solid #888;
99+
}
100+
101+
/* overview page */
102+
103+
div.pkg {margin-top: 1px; padding-top: 1px; padding-bottom: 1px;}
104+
105+
a.path-duplicate {color: #9cd;}
106+
107+
.golds-update {text-align: center; font-size: smaller; background: #eee; padding: 3px;}
108+
109+
div.codelines a.path-duplicate {color: #079;}
110+
div.importedbys a.path-duplicate {color: #079;}
111+
div.depdepth a.path-duplicate {color: #079;}
112+
div.depheight a.path-duplicate {color: #079;}
113+
114+
i.codelines, i.importedbys, i.depdepth, i.depheight {font-size: smaller;}
115+
116+
/* package details page */
117+
118+
span.nodocs {padding-left: 1px; padding-right: 1px;}
119+
span.nodocs:before {content: " - ";}
120+
label {cursor: pointer; padding-left: 1px; padding-right: 1px;}
121+
122+
input.fold + label:before {content: "[+] ";}
123+
input.fold:checked + label:before {content: "[-] ";}
124+
input.fold:checked + label.fold-items:after {content: ":";}
125+
126+
/* code page */
127+
106128
#header {
107129
padding-bottom: 8px;
108130
border-bottom: 1px solid #888;
109131
}
110132

111133
hr {color: #888;}
112134

113-
pre.line-numbers {
114-
counter-reset: line;
115-
}
116135
pre.line-numbers span.codeline {
117-
counter-increment: line;
118136
margin-left: 44pt;
119137
tab-size: 7;
120138
-webkit-tab-size: 7;
121139
-moz-tab-size: 7;
122140
-ms-tab-size: 7;
123141
}
124142
pre.line-numbers span.codeline:before {
125-
display: inline-block;
126-
text-align:right;
127-
position: absolute;
128143
width: 40pt;
129144
left: 8pt;
130145
padding: 0 3pt 0 0;
131146
border-right: 0;
132-
content: counter(line)"|";
133-
user-select: none;
134-
-webkit-user-select: none;
135-
-moz-user-select: none;
136-
-ms-user-select: none;
137147
}
138148

139149
.anchor {}
140150
.codeline {}
141151

142-
.codeline:target, .anchor:target {border-top: 1px solid #d5ddbb; border-bottom: 1px solid #d5ddbb; background-color: #e5eecc;}
152+
.codeline:target, .anchor:target {
153+
border-top: 1px solid #d5ddbb;
154+
border-bottom: 1px solid #d5ddbb;
155+
background-color: #e5eecc;
156+
}
143157

144158
code .ident {color: blue;}
145159
code .id-type {color: blue;}
@@ -151,4 +165,9 @@ code .keyword {color: brown;}
151165
code .comment {color: green; font-style: italic;}
152166

153167

168+
// These lines are parsed and used in code.
169+
// Please keep each of them in a seperated line and
170+
// keep the "xxxxx {" prefixes unchanged.
171+
code.chosen-ident {background: #226; color: #ff8;}
172+
code.chosen-id-import {background: brown; color: #eed;}
154173

0 commit comments

Comments
 (0)