minor style changes, add history.js