html-mode hooks and leuven theme