github ribbon: convert px to em and fix IE9&10 issues
re-cram and re-minify run.js