Hi all, I am wondering if anyone has developed good CSS and javascript that makes generated html look beautiful? Thanks, Jason Hu https://hustmphrrr.github.io/ -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.chalmers.se/pipermail/agda/attachments/20190928/df07104d/attachment.html>