Sync docs from master to gh-pages

This commit is contained in:
buildmaster
2020-04-02 07:44:54 +00:00
parent 66fecc3589
commit 24c3477da1
9 changed files with 9 additions and 9 deletions

View File

@@ -268,7 +268,7 @@ from the <code>file</code> menu.</p>
</div>
<script type="text/javascript" src="js/tocbot/tocbot.min.js"></script>
<script type="text/javascript" src="js/toc.js"></script>
<link rel="stylesheet" href="js/highlight/styles/atom-one-dark-reasonable.min.css">
<link rel="stylesheet" href="js/highlight/styles/github.min.css">
<script src="js/highlight/highlight.min.js"></script>
<script>hljs.initHighlighting()</script>
</body>