Just note that get_browser() and similar server-side functions depend upon the browser sending the requisite information in the HTTP request, and all such information is (a) optional and (b) not guaranteed to be accurate. I would therefore opt for cahva's conditional comment suggestion in the actual HTML, and let the browser take the responsibility for loading the applicable stylesheet.