\n"; } if (isset($_GET['rc-css'])) { $css = " /* bad bad bad */ .frame,.item,h3.collapsed,table,div.content img, ul.navlist li,a.bookmarklet, fieldset, div#pbholder, div.ief, div.ief p a, #loginfo, input[type=\"submit\"] { -moz-border-radius: 5px; -webkit-border-radius:5px } #sidemenu li { -moz-border-radius-top-left:5px; -moz-border-radius-top-right:5px; -webkit-border-top-left-radius:5px; -webkit-border-top-right-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) { ?>