Всё, решил.
Если кому интересно, то вот:
function set_stylesheet(styletitle,norefresh)
{
set_cookie("style",styletitle,365); // добавил сохранение куков
var links=document.getElementsByTagName("link");
var found=false;
for(var i=0;i<links.length;i++)
{
var rel=links[i].getAttribute("rel");
var title=links[i].getAttribute("title");
if(rel.indexOf("style")!=-1&&title)
{
links[i].disabled=true;
if(styletitle==title) { links[i].disabled=false; found=true; }
}
}
if(!found) set_preferred_stylesheet(); // если не найдено, то вызывается отдельная функция, которая ставит стиль по умолчанию
}