if(document.styleSheets && navigator.userAgent.indexOf("Win")!=-1){

  document.write('<style type="text/css">');
 
    if(!document.all || !document.documentElement || document.documentElement.currentStyle.fontSize!="9pt"){
      with(document){    
        write('body { margin-bottom: 1em }');
        write('.collapse-collapse, .collapse-separate, #border-style, body, .sam { font-size: 95% }');
        write('.un{ font-size: x-small !important }');
        write('pre { font-size: 100% }');
      } 
    }

  document.write('<\/style>');

}

//このファイルが表示されてしまった場合、ブラウザの戻るボタンを押してみて下さい。

my_writeStyleElement();

function my_writeStyleElement() {
 var d = document;
 var dE = d.documentElement;
 var dEC = dE && dE.currentStyle;
 var IE = typeof(d.all)=="object"; 
 var standardIE = IE && d.compatMode=="CSS1Compat"; 

 if(d.styleSheets && navigator.userAgent.indexOf("Win")!=-1) {
  d.write('<style type="text/css">');
  d.write('body { margin-bottom: 1em }');

  if(d.defaultView && d.defaultView.getComputedStyle(dE, null).getPropertyValue("font-size")=="16px"
          || standardIE && dEC.fontSize=="12pt") d.write('body { font-size: 95% }');
  else if(IE && !standardIE) {
   if(!dE || dEC.fontSize=="12pt") d.write('.collapse-collapse, .collapse-separate, #border-style, body, .sam { font-size: 95% }');
  }

  d.write('</style>');
 }

}