// JavaScript Document

function f_size(fontsize) {
var change = document.getElementsByTagName("body")[0];
switch(fontsize) {
case "size_s": var percent = "10px"; break;
case "size_m": var percent = "12px"; break;
case "size_l": var percent = "14px"; break;
}
change.style.fontSize = percent;
}