function set10FontSize() {
  document.getElementById('welcomeForm').style.fontSize="10px";
  document.getElementById('welcomeForm').style.lineHeight="12px";
  document.getElementById('rightColumn').style.fontSize="10px";
  document.getElementById('rightColumn').style.lineHeight="12px";
  document.getElementById('menuBar').style.fontSize="10px";
  document.getElementById('newsCalendar').style.fontSize="10px";
}

function set12FontSize() {
  document.getElementById('welcomeForm').style.fontSize="12px";
  document.getElementById('welcomeForm').style.lineHeight="15px";
  document.getElementById('rightColumn').style.fontSize="12px";
  document.getElementById('rightColumn').style.lineHeight="15px";
  document.getElementById('menuBar').style.fontSize="11px";
  document.getElementById('newsCalendar').style.fontSize="11px";
}

function set16FontSize() {
  document.getElementById('welcomeForm').style.fontSize="16px";
  document.getElementById('welcomeForm').style.lineHeight="18px";
  document.getElementById('rightColumn').style.fontSize="16px";
  document.getElementById('rightColumn').style.lineHeight="18px";
  document.getElementById('menuBar').style.fontSize="12px";
  document.getElementById('newsCalendar').style.fontSize="12px";
}

function set18FontSize() {
  document.getElementById('welcomeForm').style.fontSize="18px";
  document.getElementById('welcomeForm').style.lineHeight="22px";
  document.getElementById('rightColumn').style.fontSize="18px";
  document.getElementById('rightColumn').style.lineHeight="22px";
  document.getElementById('menuBar').style.fontSize="12px";
  document.getElementById('newsCalendar').style.fontSize="12px";
}