anchor.diff:            results.append(HTMLGeneration.getMouseTable(mice, false, true, false));
             results.append(bottomPageSelectionLinks);
           }
  -        /*
  -        for(String term : mouseSearchCache.getTermsToHighlight())
  -        {
  -          Pattern pattern = Pattern.compile("(>[A-Za-z0-9\\s'\"]+)(" + term + ")([A-Za-z0-9\\s'\"]+<)",Pattern.CASE_INSENSITIVE | Pattern.DOTALL | Pattern.MULTILINE);
  -
  -              // Replace all occurrences of pattern in input
  -              Matcher matcher = pattern.matcher(newResults);
  -              String output = matcher.replaceAll("$1<b>$2</b>$3");
  -          newResults = output;
  -        }
  -        */
           searchPerformed = true;
       }
       catch(Exception e)
  
positive.code:       } else {
          show_help();
        }
          
        if (searchTerms != null && searchTerms != "")
        {
        	$(".search-box").removeClass("search-box-primary").removeClass("centered").addClass("search-box-small");  
  
negative.code:           <b>Search examples:</b>
            <dl>
              <dt>shh null</dt>
              <dd>Match records that contain both 'shh' <b>and</b> 'null'</dd>
              <dt>htr</dt>
              <dd>Match words start with htr, such as htr2c, or htr1a</dd>
              <dt>htr2c</dt>
              <dd>Match the specific gene 'htr2c'</dd>
              <dt>#101,#103</dt>
              <dd>Show record numbers 101 and 103</dd>
            </dl>
          </div>
          <p><a href="#" id="show_search_instructions">how do I search?</a></p>
  