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