Minor style changes in code.js.