5 Commits

Include renames

Author	SHA1	Message	Date
Samuel Sadok	6d6c554a87	revert navbar colors, implement indentation	2020-06-18 10:28:26 +02:00
Samuel Sadok	8bd35aaff5	tweak appearance	2020-06-15 14:20:32 +02:00
Samuel Sadok	426236dff1	implement HTML API reference autogeneration ... This adds a jinja template to generate markdown files (with lots of HTML mixed in) from YAML using the existing interface_generator.py script. The docs website layout files are modified to incorporate the new documentation. While previously Github Pages was automatically running Jekyll on the docs folder, this commit adds a custom Github workflow to compile and deploy the website to facilitate the custom markdown generation step before Jekyll runs.	2020-06-10 23:03:07 +02:00
Oskar Weigl	305dd79e15	Update default.html	2018-06-09 20:55:55 -07:00
Oskar Weigl	1294ddff1d	moved docs into docs folder	2018-06-09 20:49:10 -07:00