3 commits

Author	SHA1	Message	Date
zilti	641bda8e5d	Adjusted manual css	2017-12-18 21:33:10 +00:00
zilti	9815f83013	Adjusted makedocs-web.sh for automatic documentation generation.	2017-12-18 21:28:34 +00:00
zilti	16a6350300	Docs update	2017-12-18 14:13:26 +00:00