-function load_page_content( src, subtitle )
-{ /* Propagate the HTML document title to the "masthead" display,
- * update the displayed page subtitle, (which may be null), and
- * load the page content from the specified "src" file.
- */
- set_content( "page-content", null );
- set_content( "page-title", document.title );
- set_content( "page-subtitle", subtitle );
- load_content( "page-content", src );
-}
-
-function load_page_overlay( src, title, subtitle )
-{ /* Replace the existing page content from the specified overlay
- * "src" file, updating the page title, and subtitle, as may be
- * appropriate.
- */
- if( title ) document.title = title;
- load_page_content( src, subtitle );
-}
-
-function new_page( src, subtitle )
-{ /* Create a new page display, starting from scratch; assign the
- * displayed title from the HTML document title attribute, adding
- * the specified subtitle, lay out the standard page header block,
- * and load the page content from the "src" file.
+function load_page( src )
+{ /* Load page content from the HTML fragment file, as determined
+ * from the specified "src" URL; if no alternative fragment name
+ * is specified, fall back to loading "about.html".