<head>
<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");
+ if ($theme && theme_valid("$theme")) {
+ echo stylesheet_tag(get_theme_path($theme));
} else {
echo stylesheet_tag("themes/default.css");
}
<body id="ttrssPrefs" class="claro">
-<div id="notify" class="notify" style="display : none"></div>
+<div id="notify" class="notify"></div>
<div id="cmdline" style="display : none"></div>
<div id="overlay">