- <title>Tiny Tiny RSS : Preferences</title>
- <link rel="stylesheet" type="text/css" href="tt-rss.css?<?php echo $dt_add ?>"/>
- <link rel="stylesheet" type="text/css" href="lib/dijit/themes/claro/claro.css"/>
-
- <?php print_theme_includes($link) ?>
-
- <?php $user_css_url = get_pref($link, 'USER_STYLESHEET_URL'); ?>
- <?php if ($user_css_url) { ?>
- <link type="text/css" href="<?php echo $user_css_url ?>"/>
- <?php } ?>
+ <title>Tiny Tiny RSS : <?php echo __("Preferences") ?></title>
+
+ <script type="text/javascript">
+ var __ttrss_version = "<?php echo VERSION ?>"
+ </script>
+
+ <?php echo stylesheet_tag("lib/dijit/themes/claro/claro.css"); ?>
+ <?php echo stylesheet_tag("css/layout.css"); ?>
+
+ <?php if ($_SESSION["uid"]) {
+ $theme = get_pref( "USER_CSS_THEME", $_SESSION["uid"], false);
+ if ($theme && file_exists("themes/$theme")) {
+ echo stylesheet_tag("themes/$theme");
+ } else {
+ echo stylesheet_tag("themes/default.css");
+ }
+ }
+ ?>
+
+ <?php print_user_stylesheet() ?>