fixes in javascript due to pushstate, initial support of query syntax in highlighter