On Thu, 2013-12-05 at 17:27 +0100, Henrik Brautaset Aronsen wrote: > You should add the CSS instead, so that we don't have to maintain > duplicate texts. > Definitely. We do NOT want to maintain the html version in git. /D