// EOL set to Windows/DOS; for our non-unix friends.   :)

a=b=c=0;d=1;fs=13;min=11;max=18;   // a,b,c,d: counters; fs: fontsize

function ali(){   // Align tekst
 a=a+1;myObj=document.getElementById("inh");
 switch(a){
  case 1:myObj.style.textAlign="left";break;
  case 2:a=0;myObj.style.textAlign="justify"}}

function bac(){   // Background
 b=b+1;myObj=document.getElementById("inh");
 switch(b){
  case 1:myObj.style.backgroundImage="url(pics/ba2.gif)";
         myObj.style.backgroundRepeat="repeat-y";break;
  case 2:myObj.style.backgroundImage="url(pics/fill.gif)";
         myObj.style.backgroundRepeat="repeat";break;
  case 3:myObj.style.backgroundImage="url(pics/ba3.gif)";
         myObj.style.backgroundRepeat="repeat";break;
  case 4:b=0;myObj.style.backgroundImage="url(pics/ba1.gif)";
         myObj.style.backgroundRepeat="repeat-y"}}

function cfo(){   // Color font
 c=c+1;myObj=document.getElementById("inh");
 switch(c){
  case 1:myObj.style.color="#000066";break;
  case 2:myObj.style.color="#002200";break;
  case 3:myObj.style.color="#440011";break;
  case 4:c=0;myObj.style.color="#000000"}}

function go() {   // Navigation trigger
window.location=document.getElementById("nav").value+".html"}

function lar(){   // "larger" font; "big"[ger] is reserved word
 if(fs<max){
  fs=fs+1;document.getElementById("inh").style.fontSize=fs+"pt"}}

function sma(){   // Smaller font
 if(fs>min){
 fs=fs-1;document.getElementById("inh").style.fontSize=fs+"pt"}}

function tog(){   // Toggle font
 d=d+1;myObj=document.getElementById("inh");
 switch(d){
  case 1:myObj.style.fontFamily="Arial";break;
  case 2:myObj.style.fontFamily="Helvetica";break;
  case 3:myObj.style.fontFamily="Courier";break;
  case 4:d=0;myObj.style.fontFamily="Times"}}