download/ediff.html: nicer theme