Du könntest zwei unterschiedliche externe Style Sheets laden, ungefähr so:
os = navigator.platform;
browser = navigator.appName;
if (browser=="Netscape" && os=="Win32")
{ document.write('<link rel="stylesheet" href="../14px.css" type="text/css">'); }
else
{ document.write('<link rel="stylesheet" href="../12px.css" type="text/css">'); }