diff options
Diffstat (limited to 'website/style_guide.html')
| -rw-r--r-- | website/style_guide.html | 55 |
1 files changed, 0 insertions, 55 deletions
diff --git a/website/style_guide.html b/website/style_guide.html deleted file mode 100644 index 667a2eac7..000000000 --- a/website/style_guide.html +++ /dev/null @@ -1,55 +0,0 @@ -<!-- Copyright 2018-2019 the Deno authors. All rights reserved. MIT license. --> -<!DOCTYPE html> -<html> - <head> - <title>Deno Style Guide</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 id="logo" src="images/deno_logo_3.svg" 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 = "style_guide.md"; - - async function main() { - const response = await fetch(url); - const content = await response.text(); - - let converter = new showdown.Converter({ extensions: ["toc"] }); - 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> |