rebuild js with Alan's fix. Also, some styling.