From 1045c62ac141d98fa7c86deb36887a2a9f9b45f2 Mon Sep 17 00:00:00 2001
From: hafiz <20735482+ayazhafiz@users.noreply.github.com>
Date: Mon, 1 Jun 2020 09:29:16 -0500
Subject: [PATCH] Add github-style highlighting for code blocks (#4224)

---
 docs/index.html | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)
diff --git a/docs/index.html b/docs/index.html
index ea2366863a7..cea224f40d7 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -3,9 +3,11 @@
     <head>
       <meta name="viewport" content="width=device-width">
       <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/github-markdown-css/3.0.1/github-markdown.css" />
+      <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/10.0.0/styles/github-gist.min.css">
       <script src="https://cdn.jsdelivr.net/npm/marked/marked.min.js"></script>
       <script src="https://cdn.jsdelivr.net/npm/vue@2.6.10/dist/vue.js"></script>
       <script src="https://unpkg.com/vue-async-computed@3.8.1"></script>
+      <script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/10.0.0/highlight.min.js"></script>
       <script src="https://cdnjs.cloudflare.com/ajax/libs/axios/0.18.0/axios.min.js"></script>
       <style>
         @media (max-width: 767px) {
@@ -120,7 +122,12 @@
                         return stack.concat(value);
                       }, []);
                   ast.links = {};
-                  return marked.parser(ast);
+
+                  return marked.parser(ast, {
+                    highlight(code, lang) {
+                      return hljs.highlight(lang ? lang : 'rust', code).value;
+                    }
+                  });
                 }
               },
               created: async function() {
