+ <?php if ($_SESSION["uid"]) {
+ $theme = get_pref("USER_CSS_THEME", false, false);
+ if ($theme && theme_valid("$theme")) {
+ echo stylesheet_tag(get_theme_path($theme));
+ } else {
+ echo stylesheet_tag("css/default.css");
+ }
+ }
+ ?>
+
+ <?php print_user_stylesheet() ?>