Ernst style some box and fix hover color

See commit messages