commit 99d13aef574849e5ba9b9f23ca991a0b1f2c91e1 parent 91ce7c215d9814d248e9ce480d13d3e5bb8e8abd Author: dankert <devnull@localhost> Date: Sat, 21 Apr 2007 13:37:30 +0200 Unterscheiden zwischen Root-, Default- und Benutzer-Stylesheet. Diffstat:
| themes/default/include/html/page.inc.php | | | 8 | +++++--- |
1 file changed, 5 insertions(+), 3 deletions(-)
diff --git a/themes/default/include/html/page.inc.php b/themes/default/include/html/page.inc.php @@ -13,9 +13,11 @@ <?php } ?> - <link rel="stylesheet" type="text/css" href="./themes/default/css/default.css" /> -<?php if($stylesheet!='default') { ?> - <link rel="stylesheet" type="text/css" href="<?php echo $stylesheet ?>" /> +<?php if(!empty($root_stylesheet)) { ?> + <link rel="stylesheet" type="text/css" href="<?php echo $root_stylesheet ?>" /> +<?php } ?> +<?php if($root_stylesheet!=$user_stylesheet) { ?> + <link rel="stylesheet" type="text/css" href="<?php echo $user_stylesheet ?>" /> <?php } ?> </head>