.CodeMirror-jump-token {
  text-decoration: underline;
  cursor: pointer;
}
