//インラインフレーム内の文字サイズも変更する//

function set(s) {
setFont(document,s);
var frame = document.getElementsByTagName('IFRAME');
for (var i=0; i<frame.length; i++){
var doc = (frame[i].contentDocument)?
frame[i].contentDocument:frame[i].contentWindow.document;
setFont(doc,s);
}}
function setFont(obj,siz) {
obj.getElementsByTagName('BODY')[0].style.fontSize = siz;
}