/* overview styles moved incrementally from editor.css */