diff options
Diffstat (limited to 'website/manual.html')
-rw-r--r-- | website/manual.html | 54 |
1 files changed, 0 insertions, 54 deletions
diff --git a/website/manual.html b/website/manual.html deleted file mode 100644 index bc5624bfa..000000000 --- a/website/manual.html +++ /dev/null @@ -1,54 +0,0 @@ -<!-- Copyright 2018-2019 the Deno authors. All rights reserved. MIT license. --> -<!DOCTYPE html> -<html> - <head> - <title>Deno Manual</title> - <link rel="shortcut icon" href="favicon.ico"> - <link rel="stylesheet" href="https://cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.14.2/build/styles/default.min.css"> - <link rel="stylesheet" href="https://cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.14.2/build/styles/github-gist.min.css"> - <link rel="stylesheet" media="(prefers-color-scheme: dark)" href="https://cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.14.2/build/styles/monokai-sublime.min.css"> - <script src="https://cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.14.2/build/highlight.min.js"></script> - <script src="https://cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.14.2/build/languages/typescript.min.js"></script> - <link rel="stylesheet" href="style.css" /> - <meta content="width=device-width, initial-scale=1.0" name="viewport" /> - </head> - <body> - <main> - <a href="/"><img src="https://denolib.github.io/animated-deno-logo/deno-circle-thunder.gif" width=200></a> - <div id="manual"></div> - - <script src="https://unpkg.com/showdown@1.9.0/dist/showdown.js"></script> - <script src="showdown_toc.js"></script> - <script> - const url = "manual.md"; - - async function main() { - const response = await fetch(url); - const content = await response.text(); - - let converter = new showdown.Converter({ extensions: ["toc"], tables: true }); - let html = converter.makeHtml(content); - - const manual = document.getElementById("manual"); - manual.innerHTML = html; - - // To make anchor links work properly, we have to manually scroll - // since the markdown is rendered dynamically. - if (window.location.hash) { - let el = document.getElementById(window.location.hash.slice(1)); - window.scrollTo({ top: el.offsetTop }); - } - - // Disable automatic language detection - hljs.configure({ - languages: [], - }); - - hljs.initHighlighting(); - } - - main(); - </script> - </main> - </body> -</html> |