a minor bug fix in jspretty with regards to minus operator between two opening parens, numerous bugs resolved in diffview.js and a performance boost, some UI bugs resolved, and some UI separation from the markup code