//style.js
document.write('<style TYPE="text/css">');
if(navigator.userAgent.lastIndexOf("MSIE") > -1) document.write(
  '.title{font-size: 11px;}'
+ '.subtitle{font-size: 11px;}'
+ '.button {font-size: 11px;}'
+ '.textbox {font-size: 11px;}'
+ '.optionbox {font-size: 11px;}'
+ 'td {font-size: 11px}');				
else document.write(
  '.title{font-size: 13px;}'
+ '.subtitle{font-size: 13px;}'
+ '.button {font-size: 13px;}'
+ '.textbox {font-size: 13px;}'
+ '.optionbox {font-size: 13px;}'
+ 'td {font-size: 12px}');
document.write('</style>');