void strings_null() {
    ThemeUI::tr("Web Bookmarks");
    ThemeUI::tr("Browse your favorite web sites.");
    ThemeUI::tr("Browser:");
    ThemeUI::tr("Text Size:");
    ThemeUI::tr("Cancel");
    ThemeUI::tr("OK");
    ThemeUI::tr("Configure Web Browser");
    ThemeUI::tr("You can edit the name, URL, and category for the selected Web Site on this screen.\n\nWhen you have finished editing, select \"OK\" or \"Cancel\" to continue.");
    ThemeUI::tr("Category:");
    ThemeUI::tr("Name:");
    ThemeUI::tr("URL:");
    ThemeUI::tr("Genre:");
    ThemeUI::tr("Channel:");
    ThemeUI::tr("Click to choose from existing categories...");
    ThemeUI::tr("Browser Command:");
    ThemeUI::tr("Ok");
    ThemeUI::tr("Find");
    ThemeUI::tr("Bookmark Manager");
    ThemeUI::tr("Category");
    ThemeUI::tr("[x]");
    ThemeUI::tr("Name");
    ThemeUI::tr("URL");
    ThemeUI::tr("Find...");
}
