make literate agda work with hakyll
comment
css tweak