// If the browser needs a custom stylesheet for UI adjustments,
// include it.
//
var matches = navigator.userAgent.match(/\b(firefox|safari|msie)\b/i);
if (matches && matches.length > 1)
    {

    // Assemble the URL for the custom stylesheet, and write out the
    // HTML code to include it.
    //
    var custom_stylesheet = "http://thepeoplescoalition.org/home/" + matches[1].toLowerCase();
    document.write("<link rel='stylesheet' type='text/css'\n"
        + " href='" + custom_stylesheet + "' media='screen' />\n");
    }