anchor.diff:      query("#content").children.add(new search_form().content);
   }
   
  +void display_search_results() {
  +    query("#content").children.clear();
  +    query("#content").children.add(new search_results_form().content);
  +}
  +
   void handle_history() {
       // Handle all page routing and history based on "page" url variable
       String page_name = get_url_variable("page");
  
positive.code:       case "search":
          display_search();
          break;
        case "index":
          /* Falls Through */
        default:
  
negative.code: import 'submit_game.dart';
  import 'view_game.dart';
  import 'search.dart';
  import 'search_results.dart';
  import 'main_page.dart';
  import 'util.dart';
  
  