// JavaScript Document
var fontSize1 = new FontSize(1, "size1", "../html/images/main/fontsize_module_control_size1.gif");
var fontSize2 = new FontSize(2, "size2", "../html/images/main/fontsize_module_control_size2.gif");
var fontSize3 = new FontSize(3, "size3", "../html/images/main/fontsize_module_control_size3.gif");