src/doc/not_found.md

   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">
  19 </form>
  20 * Rust doc search: <span id="core-search"></span>
  21
  22 ## Reference
  23
  24 * [The Rust official site](http://rust-lang.org)
  25 * [The Rust reference](http://doc.rust-lang.org/reference.html)
  26
  27 ## Docs
  28
  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
  60     var a = document.createElement("a");
  61     a.href = "http://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>