]>
Commit | Line | Data |
---|---|---|
1 | % Not Found | |
2 | ||
3 | <!-- Completely hide the TOC and the section numbers --> | |
4 | <style type="text/css"> | |
5 | #TOC { display: none; } | |
6 | .header-section-number { display: none; } | |
7 | li {list-style-type: none; } | |
8 | </style> | |
9 | ||
10 | Looks like you've taken a wrong turn. | |
11 | ||
12 | Some things that might be helpful to you though: | |
13 | ||
14 | # Search | |
15 | ||
16 | <form action="https://duckduckgo.com/"> | |
17 | <input type="text" id="site-search" name="q" size="80"></input> | |
18 | <input type="submit" value="Search DuckDuckGo"></form> | |
19 | ||
20 | Rust doc search: <span id="core-search"></span> | |
21 | ||
22 | # Reference | |
23 | ||
24 | * [The Rust official site](https://www.rust-lang.org) | |
25 | * [The Rust reference](https://doc.rust-lang.org/reference/index.html) | |
26 | ||
27 | # Docs | |
28 | ||
29 | [The standard library](https://doc.rust-lang.org/std/) | |
30 | ||
31 | <script> | |
32 | function get_url_fragments() { | |
33 | var last = document.URL.split("/").pop(); | |
34 | var tokens = last.split("."); | |
35 | var op = []; | |
36 | for (var i=0; i < tokens.length; i++) { | |
37 | var t = tokens[i]; | |
38 | if (t == 'html' || t.indexOf("#") != -1) { | |
39 | // no html or anchors | |
40 | } else { | |
41 | op.push(t); | |
42 | } | |
43 | } | |
44 | return op; | |
45 | } | |
46 | ||
47 | function populate_site_search() { | |
48 | var op = get_url_fragments(); | |
49 | ||
50 | var search = document.getElementById('site-search'); | |
51 | search.value = op.join(' ') + " site:doc.rust-lang.org"; | |
52 | } | |
53 | ||
54 | function populate_rust_search() { | |
55 | var op = get_url_fragments(); | |
56 | var lt = op.pop(); | |
57 | ||
58 | // #18540, use a single token | |
59 | ||
60 | var a = document.createElement("a"); | |
61 | a.href = "https://doc.rust-lang.org/core/?search=" + encodeURIComponent(lt); | |
62 | a.textContent = lt; | |
63 | var search = document.getElementById('core-search'); | |
64 | search.innerHTML = ""; | |
65 | search.appendChild(a); | |
66 | } | |
67 | populate_site_search(); | |
68 | populate_rust_search(); | |
69 | </script> |