Rounded Corners and CSS

Just if anyone is interested. I removed all the rounded corner directives from the css.php and replaced them with jquery.corner.js and jquery commands to round the corners for specific elements in the header. This eliminated a large chunk of the css file (which is way way too big) and allowed me to have rounded corners, even in IE.