feat(resources): Update GitHub CSS

jhermsmeier · Oct 25, 2018 · affa299 · affa299
1 parent d0150d7
commit affa299
Show file tree

Hide file tree

Showing 4 changed files with 127 additions and 158 deletions.
diff --git a/Contents/Resources/document.html b/Contents/Resources/document.html
@@ -5,6 +5,8 @@
     <title></title>
     <link rel="stylesheet" type="text/css" href="github-markdown.css">
     <link rel="stylesheet" type="text/css" href="github.css">
+    <!-- <link rel="stylesheet" type="text/css" href="highlight/styles/default.css"> -->
+    <!-- <link rel="stylesheet" type="text/css" href="highlight/styles/github.css"> -->
     <link rel="stylesheet" type="text/css" href="highlight/styles/github-gist.css">
     <script type="text/javascript" src="texzilla.js"></script>
     <script type="text/javascript" src="highlight/highlight.pack.js"></script>