Sync docs from master to gh-pages

2020-04-01 19:09:43 +00:00
parent 17c5596bc2
commit 9d4fcd35c0
17 changed files with 157 additions and 78 deletions
--- a/reference/htmlsingle/js/highlight/styles/monokai.min.css
+++ b/reference/htmlsingle/js/highlight/styles/monokai.min.css
@@ -1,5 +1,5 @@
 /*
-Monokai style - ported by Luigi Maselli - http://grigio.org
+Monokai style - ported by Luigi Maselli - https://grigio.org
 */

 .hljs {