// Function to hide the standard Relibase menu bar at the top of the current
// page if it is being displayed within a frameset and it is not the proper
// "top_frame_menu_bar" frame.
function hide_menu_if_in_frame()
{
    // Check whether frames are being used. If they are and this frame is not
    // the proper top frame that should display the menu bar, don't display it...
    if ( frames_are_being_used() && self.name != "top_frame_menu_bar" )
    {
        toggle_element_display("logo_menu_bar");
        toggle_element_display("buttons_menu_bar");
        toggle_element_display("title_menu_bar");
    }
}