Serve the compiled CSS instead of the committed main_pretty.css - #791

Serve the compiled CSS instead of the committed main_pretty.css#791

amjjbonvin merged 3 commits into

masterhaddocking/haddocking.github.io:masterfrom

fix/serve-compiled-csshaddocking/haddocking.github.io:fix/serve-compiled-cssCopy head branch name to clipboard