Name	Size	Mode	Actions
jump-to-line.js	2141	0644	editdlrm
match-highlighter.js	6214	0644	editdlrm
matchesonscrollbar.css	188	0644	editdlrm
matchesonscrollbar.js	3856	0644	editdlrm
search.js	11712	0644	editdlrm
searchcursor.js	12232	0644	editdlrm

.CodeMirror-search-match { background: gold; border-top: 1px solid orange; border-bottom: 1px solid orange; -moz-box-sizing: border-box; box-sizing: border-box; opacity: .5; }