Update karel.css