Skip to content

Commit a754ec9

Browse files
andrewpollackandrewpollack
authored
Merge pull request #34 from andrewpollack/add-search
Adding search to TWiR website
2 parents 9d6d460 + 450ce70 commit a754ec9

File tree

661 files changed

+7206
-642
lines changed

Some content is hidden

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

661 files changed

+7206
-642
lines changed

‎author/twir-contributors.html

Lines changed: 20 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,8 +17,10 @@
1717
<link href="https://this-week-in-rust.org/atom.xml" type="application/atom+xml" rel="alternate" title="This Week in Rust - Full Atom Feed" />
1818

1919
<link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.4/css/bootstrap.min.css" />
20+
<link rel="stylesheet" href="https://files.stork-search.net/basic.css" />
21+
<link rel="stylesheet" media="screen and (prefers-color-scheme: dark)" href="https://this-week-in-rust.org/themes/rusted/static/css/stork-dark.css">
2022

21-
<link rel="stylesheet" href="/theme/css/web-min.css?8abf4caf" />
23+
<link rel="stylesheet" href="/themes/rusted/static/css/web-min.css?7d534726" />
2224
<link rel="icon" type="image/png" sizes="32x32" href="https://www.rust-lang.org/static/images/favicon-32x32.png" />
2325
<link rel="icon" type="image/svg+xml" href="https://www.rust-lang.org/static/images/favicon.svg" />
2426
<link rel="mask-icon" href="https://www.rust-lang.org/static/images/safari-pinned-tab.svg" color="#000" />
@@ -119,6 +121,23 @@ <h1 class="pitch">Handpicked Rust updates, <br /> delivered to your inbox.</h1>
119121
</li>
120122
</ul>
121123
</div>
124+
<div class ="col-md-12">
125+
<ul class="list-unstyled search">
126+
<li class="nav-header disabled"><h2>Search</h2></li>
127+
<div>
128+
<p class="subtext">Generic or unspecific search terms may result in unhelpful results - there is currently no exact matching on phrases.</p>
129+
<input data-stork="sitesearch" class="form-control"/>
130+
<div data-stork="sitesearch-output"></div>
131+
132+
<script src="https://this-week-in-rust.org/themes/rusted/static/js/stork.js"></script>
133+
<script>
134+
stork.initialize("https://this-week-in-rust.org/themes/rusted/static/js/stork.wasm")
135+
stork.downloadIndex("sitesearch", "https://this-week-in-rust.org/search-index.st")
136+
stork.attach("sitesearch")
137+
</script>
138+
</div>
139+
</ul>
140+
</div>
122141
</div>
123142
</div>
124143
</div>

‎author/twir-contributors10.html

Lines changed: 20 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,8 +17,10 @@
1717
<link href="https://this-week-in-rust.org/atom.xml" type="application/atom+xml" rel="alternate" title="This Week in Rust - Full Atom Feed" />
1818

1919
<link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.4/css/bootstrap.min.css" />
20+
<link rel="stylesheet" href="https://files.stork-search.net/basic.css" />
21+
<link rel="stylesheet" media="screen and (prefers-color-scheme: dark)" href="https://this-week-in-rust.org/themes/rusted/static/css/stork-dark.css">
2022

21-
<link rel="stylesheet" href="/theme/css/web-min.css?8abf4caf" />
23+
<link rel="stylesheet" href="/themes/rusted/static/css/web-min.css?7d534726" />
2224
<link rel="icon" type="image/png" sizes="32x32" href="https://www.rust-lang.org/static/images/favicon-32x32.png" />
2325
<link rel="icon" type="image/svg+xml" href="https://www.rust-lang.org/static/images/favicon.svg" />
2426
<link rel="mask-icon" href="https://www.rust-lang.org/static/images/safari-pinned-tab.svg" color="#000" />
@@ -119,6 +121,23 @@ <h1 class="pitch">Handpicked Rust updates, <br /> delivered to your inbox.</h1>
119121
</li>
120122
</ul>
121123
</div>
124+
<div class ="col-md-12">
125+
<ul class="list-unstyled search">
126+
<li class="nav-header disabled"><h2>Search</h2></li>
127+
<div>
128+
<p class="subtext">Generic or unspecific search terms may result in unhelpful results - there is currently no exact matching on phrases.</p>
129+
<input data-stork="sitesearch" class="form-control"/>
130+
<div data-stork="sitesearch-output"></div>
131+
132+
<script src="https://this-week-in-rust.org/themes/rusted/static/js/stork.js"></script>
133+
<script>
134+
stork.initialize("https://this-week-in-rust.org/themes/rusted/static/js/stork.wasm")
135+
stork.downloadIndex("sitesearch", "https://this-week-in-rust.org/search-index.st")
136+
stork.attach("sitesearch")
137+
</script>
138+
</div>
139+
</ul>
140+
</div>
122141
</div>
123142
</div>
124143
</div>

‎author/twir-contributors11.html

Lines changed: 20 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,8 +17,10 @@
1717
<link href="https://this-week-in-rust.org/atom.xml" type="application/atom+xml" rel="alternate" title="This Week in Rust - Full Atom Feed" />
1818

1919
<link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.4/css/bootstrap.min.css" />
20+
<link rel="stylesheet" href="https://files.stork-search.net/basic.css" />
21+
<link rel="stylesheet" media="screen and (prefers-color-scheme: dark)" href="https://this-week-in-rust.org/themes/rusted/static/css/stork-dark.css">
2022

21-
<link rel="stylesheet" href="/theme/css/web-min.css?8abf4caf" />
23+
<link rel="stylesheet" href="/themes/rusted/static/css/web-min.css?7d534726" />
2224
<link rel="icon" type="image/png" sizes="32x32" href="https://www.rust-lang.org/static/images/favicon-32x32.png" />
2325
<link rel="icon" type="image/svg+xml" href="https://www.rust-lang.org/static/images/favicon.svg" />
2426
<link rel="mask-icon" href="https://www.rust-lang.org/static/images/safari-pinned-tab.svg" color="#000" />
@@ -119,6 +121,23 @@ <h1 class="pitch">Handpicked Rust updates, <br /> delivered to your inbox.</h1>
119121
</li>
120122
</ul>
121123
</div>
124+
<div class ="col-md-12">
125+
<ul class="list-unstyled search">
126+
<li class="nav-header disabled"><h2>Search</h2></li>
127+
<div>
128+
<p class="subtext">Generic or unspecific search terms may result in unhelpful results - there is currently no exact matching on phrases.</p>
129+
<input data-stork="sitesearch" class="form-control"/>
130+
<div data-stork="sitesearch-output"></div>
131+
132+
<script src="https://this-week-in-rust.org/themes/rusted/static/js/stork.js"></script>
133+
<script>
134+
stork.initialize("https://this-week-in-rust.org/themes/rusted/static/js/stork.wasm")
135+
stork.downloadIndex("sitesearch", "https://this-week-in-rust.org/search-index.st")
136+
stork.attach("sitesearch")
137+
</script>
138+
</div>
139+
</ul>
140+
</div>
122141
</div>
123142
</div>
124143
</div>

‎author/twir-contributors12.html

Lines changed: 20 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,8 +17,10 @@
1717
<link href="https://this-week-in-rust.org/atom.xml" type="application/atom+xml" rel="alternate" title="This Week in Rust - Full Atom Feed" />
1818

1919
<link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.4/css/bootstrap.min.css" />
20+
<link rel="stylesheet" href="https://files.stork-search.net/basic.css" />
21+
<link rel="stylesheet" media="screen and (prefers-color-scheme: dark)" href="https://this-week-in-rust.org/themes/rusted/static/css/stork-dark.css">
2022

21-
<link rel="stylesheet" href="/theme/css/web-min.css?8abf4caf" />
23+
<link rel="stylesheet" href="/themes/rusted/static/css/web-min.css?7d534726" />
2224
<link rel="icon" type="image/png" sizes="32x32" href="https://www.rust-lang.org/static/images/favicon-32x32.png" />
2325
<link rel="icon" type="image/svg+xml" href="https://www.rust-lang.org/static/images/favicon.svg" />
2426
<link rel="mask-icon" href="https://www.rust-lang.org/static/images/safari-pinned-tab.svg" color="#000" />
@@ -119,6 +121,23 @@ <h1 class="pitch">Handpicked Rust updates, <br /> delivered to your inbox.</h1>
119121
</li>
120122
</ul>
121123
</div>
124+
<div class ="col-md-12">
125+
<ul class="list-unstyled search">
126+
<li class="nav-header disabled"><h2>Search</h2></li>
127+
<div>
128+
<p class="subtext">Generic or unspecific search terms may result in unhelpful results - there is currently no exact matching on phrases.</p>
129+
<input data-stork="sitesearch" class="form-control"/>
130+
<div data-stork="sitesearch-output"></div>
131+
132+
<script src="https://this-week-in-rust.org/themes/rusted/static/js/stork.js"></script>
133+
<script>
134+
stork.initialize("https://this-week-in-rust.org/themes/rusted/static/js/stork.wasm")
135+
stork.downloadIndex("sitesearch", "https://this-week-in-rust.org/search-index.st")
136+
stork.attach("sitesearch")
137+
</script>
138+
</div>
139+
</ul>
140+
</div>
122141
</div>
123142
</div>
124143
</div>

‎author/twir-contributors13.html

Lines changed: 20 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,8 +17,10 @@
1717
<link href="https://this-week-in-rust.org/atom.xml" type="application/atom+xml" rel="alternate" title="This Week in Rust - Full Atom Feed" />
1818

1919
<link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.4/css/bootstrap.min.css" />
20+
<link rel="stylesheet" href="https://files.stork-search.net/basic.css" />
21+
<link rel="stylesheet" media="screen and (prefers-color-scheme: dark)" href="https://this-week-in-rust.org/themes/rusted/static/css/stork-dark.css">
2022

21-
<link rel="stylesheet" href="/theme/css/web-min.css?8abf4caf" />
23+
<link rel="stylesheet" href="/themes/rusted/static/css/web-min.css?7d534726" />
2224
<link rel="icon" type="image/png" sizes="32x32" href="https://www.rust-lang.org/static/images/favicon-32x32.png" />
2325
<link rel="icon" type="image/svg+xml" href="https://www.rust-lang.org/static/images/favicon.svg" />
2426
<link rel="mask-icon" href="https://www.rust-lang.org/static/images/safari-pinned-tab.svg" color="#000" />
@@ -119,6 +121,23 @@ <h1 class="pitch">Handpicked Rust updates, <br /> delivered to your inbox.</h1>
119121
</li>
120122
</ul>
121123
</div>
124+
<div class ="col-md-12">
125+
<ul class="list-unstyled search">
126+
<li class="nav-header disabled"><h2>Search</h2></li>
127+
<div>
128+
<p class="subtext">Generic or unspecific search terms may result in unhelpful results - there is currently no exact matching on phrases.</p>
129+
<input data-stork="sitesearch" class="form-control"/>
130+
<div data-stork="sitesearch-output"></div>
131+
132+
<script src="https://this-week-in-rust.org/themes/rusted/static/js/stork.js"></script>
133+
<script>
134+
stork.initialize("https://this-week-in-rust.org/themes/rusted/static/js/stork.wasm")
135+
stork.downloadIndex("sitesearch", "https://this-week-in-rust.org/search-index.st")
136+
stork.attach("sitesearch")
137+
</script>
138+
</div>
139+
</ul>
140+
</div>
122141
</div>
123142
</div>
124143
</div>

‎author/twir-contributors14.html

Lines changed: 20 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,8 +17,10 @@
1717
<link href="https://this-week-in-rust.org/atom.xml" type="application/atom+xml" rel="alternate" title="This Week in Rust - Full Atom Feed" />
1818

1919
<link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.4/css/bootstrap.min.css" />
20+
<link rel="stylesheet" href="https://files.stork-search.net/basic.css" />
21+
<link rel="stylesheet" media="screen and (prefers-color-scheme: dark)" href="https://this-week-in-rust.org/themes/rusted/static/css/stork-dark.css">
2022

21-
<link rel="stylesheet" href="/theme/css/web-min.css?8abf4caf" />
23+
<link rel="stylesheet" href="/themes/rusted/static/css/web-min.css?7d534726" />
2224
<link rel="icon" type="image/png" sizes="32x32" href="https://www.rust-lang.org/static/images/favicon-32x32.png" />
2325
<link rel="icon" type="image/svg+xml" href="https://www.rust-lang.org/static/images/favicon.svg" />
2426
<link rel="mask-icon" href="https://www.rust-lang.org/static/images/safari-pinned-tab.svg" color="#000" />
@@ -119,6 +121,23 @@ <h1 class="pitch">Handpicked Rust updates, <br /> delivered to your inbox.</h1>
119121
</li>
120122
</ul>
121123
</div>
124+
<div class ="col-md-12">
125+
<ul class="list-unstyled search">
126+
<li class="nav-header disabled"><h2>Search</h2></li>
127+
<div>
128+
<p class="subtext">Generic or unspecific search terms may result in unhelpful results - there is currently no exact matching on phrases.</p>
129+
<input data-stork="sitesearch" class="form-control"/>
130+
<div data-stork="sitesearch-output"></div>
131+
132+
<script src="https://this-week-in-rust.org/themes/rusted/static/js/stork.js"></script>
133+
<script>
134+
stork.initialize("https://this-week-in-rust.org/themes/rusted/static/js/stork.wasm")
135+
stork.downloadIndex("sitesearch", "https://this-week-in-rust.org/search-index.st")
136+
stork.attach("sitesearch")
137+
</script>
138+
</div>
139+
</ul>
140+
</div>
122141
</div>
123142
</div>
124143
</div>

‎author/twir-contributors15.html

Lines changed: 20 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,8 +17,10 @@
1717
<link href="https://this-week-in-rust.org/atom.xml" type="application/atom+xml" rel="alternate" title="This Week in Rust - Full Atom Feed" />
1818

1919
<link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.4/css/bootstrap.min.css" />
20+
<link rel="stylesheet" href="https://files.stork-search.net/basic.css" />
21+
<link rel="stylesheet" media="screen and (prefers-color-scheme: dark)" href="https://this-week-in-rust.org/themes/rusted/static/css/stork-dark.css">
2022

21-
<link rel="stylesheet" href="/theme/css/web-min.css?8abf4caf" />
23+
<link rel="stylesheet" href="/themes/rusted/static/css/web-min.css?7d534726" />
2224
<link rel="icon" type="image/png" sizes="32x32" href="https://www.rust-lang.org/static/images/favicon-32x32.png" />
2325
<link rel="icon" type="image/svg+xml" href="https://www.rust-lang.org/static/images/favicon.svg" />
2426
<link rel="mask-icon" href="https://www.rust-lang.org/static/images/safari-pinned-tab.svg" color="#000" />
@@ -119,6 +121,23 @@ <h1 class="pitch">Handpicked Rust updates, <br /> delivered to your inbox.</h1>
119121
</li>
120122
</ul>
121123
</div>
124+
<div class ="col-md-12">
125+
<ul class="list-unstyled search">
126+
<li class="nav-header disabled"><h2>Search</h2></li>
127+
<div>
128+
<p class="subtext">Generic or unspecific search terms may result in unhelpful results - there is currently no exact matching on phrases.</p>
129+
<input data-stork="sitesearch" class="form-control"/>
130+
<div data-stork="sitesearch-output"></div>
131+
132+
<script src="https://this-week-in-rust.org/themes/rusted/static/js/stork.js"></script>
133+
<script>
134+
stork.initialize("https://this-week-in-rust.org/themes/rusted/static/js/stork.wasm")
135+
stork.downloadIndex("sitesearch", "https://this-week-in-rust.org/search-index.st")
136+
stork.attach("sitesearch")
137+
</script>
138+
</div>
139+
</ul>
140+
</div>
122141
</div>
123142
</div>
124143
</div>

‎author/twir-contributors16.html

Lines changed: 20 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,8 +17,10 @@
1717
<link href="https://this-week-in-rust.org/atom.xml" type="application/atom+xml" rel="alternate" title="This Week in Rust - Full Atom Feed" />
1818

1919
<link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.4/css/bootstrap.min.css" />
20+
<link rel="stylesheet" href="https://files.stork-search.net/basic.css" />
21+
<link rel="stylesheet" media="screen and (prefers-color-scheme: dark)" href="https://this-week-in-rust.org/themes/rusted/static/css/stork-dark.css">
2022

21-
<link rel="stylesheet" href="/theme/css/web-min.css?8abf4caf" />
23+
<link rel="stylesheet" href="/themes/rusted/static/css/web-min.css?7d534726" />
2224
<link rel="icon" type="image/png" sizes="32x32" href="https://www.rust-lang.org/static/images/favicon-32x32.png" />
2325
<link rel="icon" type="image/svg+xml" href="https://www.rust-lang.org/static/images/favicon.svg" />
2426
<link rel="mask-icon" href="https://www.rust-lang.org/static/images/safari-pinned-tab.svg" color="#000" />
@@ -119,6 +121,23 @@ <h1 class="pitch">Handpicked Rust updates, <br /> delivered to your inbox.</h1>
119121
</li>
120122
</ul>
121123
</div>
124+
<div class ="col-md-12">
125+
<ul class="list-unstyled search">
126+
<li class="nav-header disabled"><h2>Search</h2></li>
127+
<div>
128+
<p class="subtext">Generic or unspecific search terms may result in unhelpful results - there is currently no exact matching on phrases.</p>
129+
<input data-stork="sitesearch" class="form-control"/>
130+
<div data-stork="sitesearch-output"></div>
131+
132+
<script src="https://this-week-in-rust.org/themes/rusted/static/js/stork.js"></script>
133+
<script>
134+
stork.initialize("https://this-week-in-rust.org/themes/rusted/static/js/stork.wasm")
135+
stork.downloadIndex("sitesearch", "https://this-week-in-rust.org/search-index.st")
136+
stork.attach("sitesearch")
137+
</script>
138+
</div>
139+
</ul>
140+
</div>
122141
</div>
123142
</div>
124143
</div>

‎author/twir-contributors17.html

Lines changed: 20 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,8 +17,10 @@
1717
<link href="https://this-week-in-rust.org/atom.xml" type="application/atom+xml" rel="alternate" title="This Week in Rust - Full Atom Feed" />
1818

1919
<link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.4/css/bootstrap.min.css" />
20+
<link rel="stylesheet" href="https://files.stork-search.net/basic.css" />
21+
<link rel="stylesheet" media="screen and (prefers-color-scheme: dark)" href="https://this-week-in-rust.org/themes/rusted/static/css/stork-dark.css">
2022

21-
<link rel="stylesheet" href="/theme/css/web-min.css?8abf4caf" />
23+
<link rel="stylesheet" href="/themes/rusted/static/css/web-min.css?7d534726" />
2224
<link rel="icon" type="image/png" sizes="32x32" href="https://www.rust-lang.org/static/images/favicon-32x32.png" />
2325
<link rel="icon" type="image/svg+xml" href="https://www.rust-lang.org/static/images/favicon.svg" />
2426
<link rel="mask-icon" href="https://www.rust-lang.org/static/images/safari-pinned-tab.svg" color="#000" />
@@ -119,6 +121,23 @@ <h1 class="pitch">Handpicked Rust updates, <br /> delivered to your inbox.</h1>
119121
</li>
120122
</ul>
121123
</div>
124+
<div class ="col-md-12">
125+
<ul class="list-unstyled search">
126+
<li class="nav-header disabled"><h2>Search</h2></li>
127+
<div>
128+
<p class="subtext">Generic or unspecific search terms may result in unhelpful results - there is currently no exact matching on phrases.</p>
129+
<input data-stork="sitesearch" class="form-control"/>
130+
<div data-stork="sitesearch-output"></div>
131+
132+
<script src="https://this-week-in-rust.org/themes/rusted/static/js/stork.js"></script>
133+
<script>
134+
stork.initialize("https://this-week-in-rust.org/themes/rusted/static/js/stork.wasm")
135+
stork.downloadIndex("sitesearch", "https://this-week-in-rust.org/search-index.st")
136+
stork.attach("sitesearch")
137+
</script>
138+
</div>
139+
</ul>
140+
</div>
122141
</div>
123142
</div>
124143
</div>

‎author/twir-contributors18.html

Lines changed: 20 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,8 +17,10 @@
1717
<link href="https://this-week-in-rust.org/atom.xml" type="application/atom+xml" rel="alternate" title="This Week in Rust - Full Atom Feed" />
1818

1919
<link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.4/css/bootstrap.min.css" />
20+
<link rel="stylesheet" href="https://files.stork-search.net/basic.css" />
21+
<link rel="stylesheet" media="screen and (prefers-color-scheme: dark)" href="https://this-week-in-rust.org/themes/rusted/static/css/stork-dark.css">
2022

21-
<link rel="stylesheet" href="/theme/css/web-min.css?8abf4caf" />
23+
<link rel="stylesheet" href="/themes/rusted/static/css/web-min.css?7d534726" />
2224
<link rel="icon" type="image/png" sizes="32x32" href="https://www.rust-lang.org/static/images/favicon-32x32.png" />
2325
<link rel="icon" type="image/svg+xml" href="https://www.rust-lang.org/static/images/favicon.svg" />
2426
<link rel="mask-icon" href="https://www.rust-lang.org/static/images/safari-pinned-tab.svg" color="#000" />
@@ -119,6 +121,23 @@ <h1 class="pitch">Handpicked Rust updates, <br /> delivered to your inbox.</h1>
119121
</li>
120122
</ul>
121123
</div>
124+
<div class ="col-md-12">
125+
<ul class="list-unstyled search">
126+
<li class="nav-header disabled"><h2>Search</h2></li>
127+
<div>
128+
<p class="subtext">Generic or unspecific search terms may result in unhelpful results - there is currently no exact matching on phrases.</p>
129+
<input data-stork="sitesearch" class="form-control"/>
130+
<div data-stork="sitesearch-output"></div>
131+
132+
<script src="https://this-week-in-rust.org/themes/rusted/static/js/stork.js"></script>
133+
<script>
134+
stork.initialize("https://this-week-in-rust.org/themes/rusted/static/js/stork.wasm")
135+
stork.downloadIndex("sitesearch", "https://this-week-in-rust.org/search-index.st")
136+
stork.attach("sitesearch")
137+
</script>
138+
</div>
139+
</ul>
140+
</div>
122141
</div>
123142
</div>
124143
</div>

0 commit comments

Comments
 (0)