]>
Commit | Line | Data |
---|---|---|
1a4d82fc JJ |
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 | |
85aaf69f | 15 | |
1a4d82fc JJ |
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"> | |
19 | </form> | |
20 | * Rust doc search: <span id="core-search"></span> | |
21 | ||
22 | ## Reference | |
85aaf69f | 23 | |
1a4d82fc | 24 | * [The Rust official site](http://rust-lang.org) |
85aaf69f | 25 | * [The Rust reference](http://doc.rust-lang.org/reference.html) |
1a4d82fc JJ |
26 | |
27 | ## Docs | |
85aaf69f | 28 | |
1a4d82fc JJ |
29 | * [The standard library](http://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 | ||
bd371182 AL |
60 | var a = document.createElement("a"); |
61 | a.href = "http://doc.rust-lang.org/core/?search=" + encodeURIComponent(lt); | |
62 | a.textContent = lt; | |
1a4d82fc | 63 | var search = document.getElementById('core-search'); |
bd371182 AL |
64 | search.innerHTML = ""; |
65 | search.appendChild(a); | |
1a4d82fc JJ |
66 | } |
67 | populate_site_search(); | |
68 | populate_rust_search(); | |
69 | </script> |