﻿function changeFontSize(element_ID, new_Size, class_Name) {
    document.getElementById(element_ID).className = class_Name + '_' + new_Size;
}
