better web-mode-reveal