\n"; } if (isset($_GET['rc-css'])) { $css = " /* bad bad bad */ .frame,.item,h3.collapsed,table,div.content img,#sidemenu li, ul.navlist li,a.bookmarklet, fieldset, div#pbholder, div.ief, div.ief p a, #loginfo, input[type=\"submit\"] { -moz-border-radius: 5px } "; require_once('../core.php'); rss_bootstrap(false, '$Revision$' . $css, 24); header('Content-Type: text/css'); echo $css; exit(); } /* Turn off rounded corners on the big frames because of a gecko rendering bug */ function __roundedCornersCheckjs ($dummy) { ?>