var fontsize = 80;
var newfontsize = fontsize;

if (document.addEventListener)
  document.addEventListener("DOMContentLoaded", CheckStyle, false);
else
  CheckStyle();

function CheckStyle() {
  var color;
  var body = document.body;
  if (body.currentStyle)
    color = body.currentStyle["color"];
  else if (window.getComputedStyle)
    color = document.defaultView.getComputedStyle(body, null).getPropertyValue("color");
  if (color == "#666666" || color.charAt(4) == "1")
    WriteFontConsole();
}

function WriteFontConsole() {
  var lang = document.documentElement.getAttribute("lang");
  var content = new Object();
  content.cs = ["Zvětšit velikost fontu na stránce",
                "Nastavit původní velikost fontu",
                "Zmenšit velikost fontu na stránce"];
  content.en = ["Increase the font size on the page",
                "Set the default font size",
                "Decrease the font size on the page"];
  var p = document.createElement("p");
  var img0 = document.createElement("img");
  var img1 = document.createElement("img");
  var img2 = document.createElement("img");
  p.setAttribute("id", "fontmenu");
  SetImageAttribute(img0, "/Images/Font_Increase.gif", content[lang][0], 1);
  SetImageAttribute(img1, "/Images/Font_Reset.gif", content[lang][1], 0);
  SetImageAttribute(img2, "/Images/Font_Decrease.gif", content[lang][2], -1);
  
  p.appendChild(img0);
  p.appendChild(img1);
  p.appendChild(img2);
  document.body.appendChild(p);
}

function SetImageAttribute(img, src, alt, n) {
  img.setAttribute("src", src);
  img.setAttribute("alt", alt);
  img.setAttribute("title", alt);
  img.setAttribute("width", "17");
  img.setAttribute("height", "17");
  img.onclick = function() { ChangeFontSize(n); }
}

function ChangeFontSize(n) {
  newfontsize = n == 0 ? fontsize : newfontsize + (n * 10);
  document.body.style.fontSize = newfontsize + "%";
}