Skip to content

Commit 4811749

Browse files
hercules-ci[bot]hercules-ci[bot]
committed
Update gh-pages
Store path: /nix/store/y6cfpkxk0d7g6rwd5irh8imk7r1vdhb8-website
1 parent 129a6fe commit 4811749

File tree

10 files changed

+41
-41
lines changed

10 files changed

+41
-41
lines changed

‎404.html‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -25,9 +25,9 @@
2525
<link rel="stylesheet" href="fonts/fonts.css">
2626

2727
<!-- Highlight.js Stylesheets -->
28-
<link rel="stylesheet" href="highlight.css">
29-
<link rel="stylesheet" href="tomorrow-night.css">
30-
<link rel="stylesheet" href="ayu-highlight.css">
28+
<link rel="stylesheet" id="highlight-css" href="highlight.css">
29+
<link rel="stylesheet" id="tomorrow-night-css" href="tomorrow-night.css">
30+
<link rel="stylesheet" id="ayu-highlight-css" href="ayu-highlight.css">
3131

3232
<!-- Custom theme stylesheets -->
3333

‎book.js‎

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -111,11 +111,11 @@ function playground_text(playground, hidden = true) {
111111
let text = playground_text(code_block);
112112
let classes = code_block.querySelector('code').classList;
113113
let edition = "2015";
114-
if(classes.contains("edition2018")) {
115-
edition = "2018";
116-
} else if(classes.contains("edition2021")) {
117-
edition = "2021";
118-
}
114+
classes.forEach(className => {
115+
if (className.startsWith("edition")) {
116+
edition = className.slice(7);
117+
}
118+
});
119119
var params = {
120120
version: "stable",
121121
optimize: "0",
@@ -294,9 +294,9 @@ function playground_text(playground, hidden = true) {
294294
themeIds.push(el.id);
295295
});
296296
var stylesheets = {
297-
ayuHighlight: document.querySelector("[href$='ayu-highlight.css']"),
298-
tomorrowNight: document.querySelector("[href$='tomorrow-night.css']"),
299-
highlight: document.querySelector("[href$='highlight.css']"),
297+
ayuHighlight: document.querySelector("#ayu-highlight-css"),
298+
tomorrowNight: document.querySelector("#tomorrow-night-css"),
299+
highlight: document.querySelector("#highlight-css"),
300300
};
301301

302302
function showThemes() {

‎comparison.html‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -24,9 +24,9 @@
2424
<link rel="stylesheet" href="fonts/fonts.css">
2525

2626
<!-- Highlight.js Stylesheets -->
27-
<link rel="stylesheet" href="highlight.css">
28-
<link rel="stylesheet" href="tomorrow-night.css">
29-
<link rel="stylesheet" href="ayu-highlight.css">
27+
<link rel="stylesheet" id="highlight-css" href="highlight.css">
28+
<link rel="stylesheet" id="tomorrow-night-css" href="tomorrow-night.css">
29+
<link rel="stylesheet" id="ayu-highlight-css" href="ayu-highlight.css">
3030

3131
<!-- Custom theme stylesheets -->
3232

@@ -164,7 +164,7 @@ <h2 id="versions"><a class="header" href="#versions">Versions</a></h2>
164164
<ul>
165165
<li>plutus-tx: 1.40.0.0</li>
166166
<li>plutarch: 1.10.1</li>
167-
<li>aiken: v1.1.13+unknown</li>
167+
<li>aiken: v1.1.14+unknown</li>
168168
<li>opshin: 0.24.1</li>
169169
</ul>
170170
<h2 id="script-size-bytes"><a class="header" href="#script-size-bytes">Script size (bytes)</a></h2>

‎fonts/fonts.css‎

Lines changed: 11 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@
77
font-style: normal;
88
font-weight: 300;
99
src: local('Open Sans Light'), local('OpenSans-Light'),
10-
url('open-sans-v17-all-charsets-300.woff2') format('woff2');
10+
url('../fonts/open-sans-v17-all-charsets-300.woff2') format('woff2');
1111
}
1212

1313
/* open-sans-300italic - latin_vietnamese_latin-ext_greek-ext_greek_cyrillic-ext_cyrillic */
@@ -16,7 +16,7 @@
1616
font-style: italic;
1717
font-weight: 300;
1818
src: local('Open Sans Light Italic'), local('OpenSans-LightItalic'),
19-
url('open-sans-v17-all-charsets-300italic.woff2') format('woff2');
19+
url('../fonts/open-sans-v17-all-charsets-300italic.woff2') format('woff2');
2020
}
2121

2222
/* open-sans-regular - latin_vietnamese_latin-ext_greek-ext_greek_cyrillic-ext_cyrillic */
@@ -25,7 +25,7 @@
2525
font-style: normal;
2626
font-weight: 400;
2727
src: local('Open Sans Regular'), local('OpenSans-Regular'),
28-
url('open-sans-v17-all-charsets-regular.woff2') format('woff2');
28+
url('../fonts/open-sans-v17-all-charsets-regular.woff2') format('woff2');
2929
}
3030

3131
/* open-sans-italic - latin_vietnamese_latin-ext_greek-ext_greek_cyrillic-ext_cyrillic */
@@ -34,7 +34,7 @@
3434
font-style: italic;
3535
font-weight: 400;
3636
src: local('Open Sans Italic'), local('OpenSans-Italic'),
37-
url('open-sans-v17-all-charsets-italic.woff2') format('woff2');
37+
url('../fonts/open-sans-v17-all-charsets-italic.woff2') format('woff2');
3838
}
3939

4040
/* open-sans-600 - latin_vietnamese_latin-ext_greek-ext_greek_cyrillic-ext_cyrillic */
@@ -43,7 +43,7 @@
4343
font-style: normal;
4444
font-weight: 600;
4545
src: local('Open Sans SemiBold'), local('OpenSans-SemiBold'),
46-
url('open-sans-v17-all-charsets-600.woff2') format('woff2');
46+
url('../fonts/open-sans-v17-all-charsets-600.woff2') format('woff2');
4747
}
4848

4949
/* open-sans-600italic - latin_vietnamese_latin-ext_greek-ext_greek_cyrillic-ext_cyrillic */
@@ -52,7 +52,7 @@
5252
font-style: italic;
5353
font-weight: 600;
5454
src: local('Open Sans SemiBold Italic'), local('OpenSans-SemiBoldItalic'),
55-
url('open-sans-v17-all-charsets-600italic.woff2') format('woff2');
55+
url('../fonts/open-sans-v17-all-charsets-600italic.woff2') format('woff2');
5656
}
5757

5858
/* open-sans-700 - latin_vietnamese_latin-ext_greek-ext_greek_cyrillic-ext_cyrillic */
@@ -61,7 +61,7 @@
6161
font-style: normal;
6262
font-weight: 700;
6363
src: local('Open Sans Bold'), local('OpenSans-Bold'),
64-
url('open-sans-v17-all-charsets-700.woff2') format('woff2');
64+
url('../fonts/open-sans-v17-all-charsets-700.woff2') format('woff2');
6565
}
6666

6767
/* open-sans-700italic - latin_vietnamese_latin-ext_greek-ext_greek_cyrillic-ext_cyrillic */
@@ -70,7 +70,7 @@
7070
font-style: italic;
7171
font-weight: 700;
7272
src: local('Open Sans Bold Italic'), local('OpenSans-BoldItalic'),
73-
url('open-sans-v17-all-charsets-700italic.woff2') format('woff2');
73+
url('../fonts/open-sans-v17-all-charsets-700italic.woff2') format('woff2');
7474
}
7575

7676
/* open-sans-800 - latin_vietnamese_latin-ext_greek-ext_greek_cyrillic-ext_cyrillic */
@@ -79,7 +79,7 @@
7979
font-style: normal;
8080
font-weight: 800;
8181
src: local('Open Sans ExtraBold'), local('OpenSans-ExtraBold'),
82-
url('open-sans-v17-all-charsets-800.woff2') format('woff2');
82+
url('../fonts/open-sans-v17-all-charsets-800.woff2') format('woff2');
8383
}
8484

8585
/* open-sans-800italic - latin_vietnamese_latin-ext_greek-ext_greek_cyrillic-ext_cyrillic */
@@ -88,13 +88,13 @@
8888
font-style: italic;
8989
font-weight: 800;
9090
src: local('Open Sans ExtraBold Italic'), local('OpenSans-ExtraBoldItalic'),
91-
url('open-sans-v17-all-charsets-800italic.woff2') format('woff2');
91+
url('../fonts/open-sans-v17-all-charsets-800italic.woff2') format('woff2');
9292
}
9393

9494
/* source-code-pro-500 - latin_vietnamese_latin-ext_greek_cyrillic-ext_cyrillic */
9595
@font-face {
9696
font-family: 'Source Code Pro';
9797
font-style: normal;
9898
font-weight: 500;
99-
src: url('source-code-pro-v11-all-charsets-500.woff2') format('woff2');
99+
src: url('../fonts/source-code-pro-v11-all-charsets-500.woff2') format('woff2');
100100
}

‎index.html‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -24,9 +24,9 @@
2424
<link rel="stylesheet" href="fonts/fonts.css">
2525

2626
<!-- Highlight.js Stylesheets -->
27-
<link rel="stylesheet" href="highlight.css">
28-
<link rel="stylesheet" href="tomorrow-night.css">
29-
<link rel="stylesheet" href="ayu-highlight.css">
27+
<link rel="stylesheet" id="highlight-css" href="highlight.css">
28+
<link rel="stylesheet" id="tomorrow-night-css" href="tomorrow-night.css">
29+
<link rel="stylesheet" id="ayu-highlight-css" href="ayu-highlight.css">
3030

3131
<!-- Custom theme stylesheets -->
3232

‎introduction.html‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -24,9 +24,9 @@
2424
<link rel="stylesheet" href="fonts/fonts.css">
2525

2626
<!-- Highlight.js Stylesheets -->
27-
<link rel="stylesheet" href="highlight.css">
28-
<link rel="stylesheet" href="tomorrow-night.css">
29-
<link rel="stylesheet" href="ayu-highlight.css">
27+
<link rel="stylesheet" id="highlight-css" href="highlight.css">
28+
<link rel="stylesheet" id="tomorrow-night-css" href="tomorrow-night.css">
29+
<link rel="stylesheet" id="ayu-highlight-css" href="ayu-highlight.css">
3030

3131
<!-- Custom theme stylesheets -->
3232

‎print.html‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -25,9 +25,9 @@
2525
<link rel="stylesheet" href="fonts/fonts.css">
2626

2727
<!-- Highlight.js Stylesheets -->
28-
<link rel="stylesheet" href="highlight.css">
29-
<link rel="stylesheet" href="tomorrow-night.css">
30-
<link rel="stylesheet" href="ayu-highlight.css">
28+
<link rel="stylesheet" id="highlight-css" href="highlight.css">
29+
<link rel="stylesheet" id="tomorrow-night-css" href="tomorrow-night.css">
30+
<link rel="stylesheet" id="ayu-highlight-css" href="ayu-highlight.css">
3131

3232
<!-- Custom theme stylesheets -->
3333

@@ -176,7 +176,7 @@ <h2 id="versions"><a class="header" href="#versions">Versions</a></h2>
176176
<ul>
177177
<li>plutus-tx: 1.40.0.0</li>
178178
<li>plutarch: 1.10.1</li>
179-
<li>aiken: v1.1.13+unknown</li>
179+
<li>aiken: v1.1.14+unknown</li>
180180
<li>opshin: 0.24.1</li>
181181
</ul>
182182
<h2 id="script-size-bytes"><a class="header" href="#script-size-bytes">Script size (bytes)</a></h2>

‎searchindex.js‎

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎searchindex.json‎

Lines changed: 1 addition & 1 deletion
Large diffs are not rendered by default.

‎specifications.html‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -24,9 +24,9 @@
2424
<link rel="stylesheet" href="fonts/fonts.css">
2525

2626
<!-- Highlight.js Stylesheets -->
27-
<link rel="stylesheet" href="highlight.css">
28-
<link rel="stylesheet" href="tomorrow-night.css">
29-
<link rel="stylesheet" href="ayu-highlight.css">
27+
<link rel="stylesheet" id="highlight-css" href="highlight.css">
28+
<link rel="stylesheet" id="tomorrow-night-css" href="tomorrow-night.css">
29+
<link rel="stylesheet" id="ayu-highlight-css" href="ayu-highlight.css">
3030

3131
<!-- Custom theme stylesheets -->
3232

0 commit comments

Comments
 (0)