Merge upstream changes: tidy css, set /opt/ignsdk as default app directory
Oops. Merge ign.css :))