5 Commits

Include renames

Author	SHA1	Message	Date
Samuel Sadok	cdc0437350	handle navbar overflow with "..."-suffix	2020-10-01 11:01:36 +02:00
Samuel Sadok	f63c7edcd0	fix appearance on several browsers	2020-06-19 13:24:38 +02:00
Samuel Sadok	6d6c554a87	revert navbar colors, implement indentation	2020-06-18 10:28:26 +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	1294ddff1d	moved docs into docs folder	2018-06-09 20:49:10 -07:00