Switch to the 'official' Debian-style html theme

Holger Wansingrequested to merge
(removed):master into master

To get an idea of how it looks like see www.debian.org/doc/debian-policy

Edited by Holger Wansing

Merge request reports