Sync docs from master to gh-pages

This commit is contained in:
buildmaster
2020-04-02 10:07:15 +00:00
parent fddfb985f2
commit efacca8423
8 changed files with 8 additions and 8 deletions

View File

@@ -490,7 +490,7 @@ Also, you can define your own properties.
</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>