use svg logo in HTML documentation