var area_size = 10
var area_size_normal = 10
function bigChange() {
area_size = area_size + 1
document.all("body2").style.fontSize = area_size + "pt"
document.all("body3").style.fontSize = area_size + "pt"
}
function smallChange() {
area_size = area_size - 1
document.all("body2").style.fontSize = area_size + "pt"
document.all("body3").style.fontSize = area_size + "pt"
}
function normalChange() {
document.all("body2").style.fontSize = area_size_normal + "pt"
document.all("body3").style.fontSize = area_size_normal + "pt"
}

// ●プルダウンメニュー開始

var HD= new Array();

 function showdown(tgt){//サブメニューの表示
 if (document.getElementById){
 tar=document.getElementById(tgt);
 tar.style.display="block";
 }
 }

 function hideaway(tgt){// サブメニューからポインタが離れた時の処理
 if (document.getElementById){
 HD[tgt]=setTimeout('document.getElementById("'+tgt+'").style.display="none"',500);
 // サブメニューからポインタが離れたら、0.5秒後に隠す
 }
 }

 function keepit(tgt){//ポインタがメニューの上に戻った時の処理
 if (HD[tgt]){
 clearTimeout(HD[tgt]);
 // サブメニューを0.5秒後に隠す処理を停止
 }
 }
 
 // ●プルダウンメニュー終了