code: def format_result(line, line_num, txt):
      
      
      return '&nbsp;&nbsp;' + str(line_num) + ': ' + line.replace(txt, '<span style="background-color: #FFFF00">' + txt + '</span>')
docs: highlight the search result