I might approach this differently. If all of the user preferences are going to be in a stylesheet, why not link an external style sheet (generated by a CGI script). That way you can use the same preferences on static content just as you can for dynamic content.