Update html_dom.php to latest revision
Update shader.css

— Add hover to header.