Static highlight for JSON output, links have border-bottom, auto-resize, guess gutterWidth