Switch to the new Debian-style html theme

To get an idea of how the new theme looks like, see debian-policy at https://www.debian.org/doc/debian-policy/. There is one hitch though: because the new theme includes font files for every language in the build directory, we can no longer use/store the build artifacts, since they now break the size limit due to the additional font files.