[MIN] GUI: XQuery & JavaScript highlighting