function showToolbox(textStyleSwitcher, textStandard, textHighContrast)
{
        document.write(textStyleSwitcher + ": ");
        document.write("<a href='JavaScript: setActiveStyleSheet(\"empty\");'>" + textStandard + "</a>");
        document.write(" - ");
        document.write("<a href='JavaScript: setActiveStyleSheet(\"contrast\");'>" + textHighContrast + "</a>");
}