An improved Custom.css for DevTools