diff --git a/index.php b/index.php index 6a22d5471a81bfde874ad095d400aecb77a7ede3..90ff8bbec75344e9f005a9ce3b877ac4e9adc839 100644 --- a/index.php +++ b/index.php @@ -39,7 +39,7 @@ <title>Tiny Tiny RSS</title> <meta name="viewport" content="initial-scale=1,width=device-width" /> - <?php if ($_SESSION["uid"]) { + <?php if ($_SESSION["uid"] && !isset($_REQUEST["ignore-theme"])) { $theme = get_pref("USER_CSS_THEME", false, false); if ($theme && theme_exists("$theme")) { echo stylesheet_tag(get_theme_path($theme), 'theme_css'); diff --git a/prefs.php b/prefs.php index 22921b23f2d1eb54ed9f359eff5c5f3b9b408ed1..12976ad8f97059c0b97bcf14cbdd7d2753b2b781 100644 --- a/prefs.php +++ b/prefs.php @@ -31,7 +31,7 @@ <title>Tiny Tiny RSS : <?php echo __("Preferences") ?></title> <meta name="viewport" content="initial-scale=1,width=device-width" /> - <?php if ($_SESSION["uid"]) { + <?php if ($_SESSION["uid"] && !isset($_REQUEST["ignore-theme"])) { $theme = get_pref("USER_CSS_THEME", false, false); if ($theme && theme_exists("$theme")) { echo stylesheet_tag(get_theme_path($theme), 'theme_css');