The symlink `odoc.css` in this directory is a silly hack that helps to display
the HTML files in `test/html/cases/*` correctly: they expect `odoc.css` at
relative path `../../odoc.css`. The same is true for `highlight.pack.js`.
