Library for enhancing Agda-generated HTML documentation