/* */

function csstweak()
{
    e = document.getElementById("css");
    if (e.href.match("print.css$"))
	e.href = "www.css";
    else
	e.href = "print.css";
}