Fixes to smile.css