/* --- Javascripts --- */
var B;

function bildrand(B) {
  document.getElementById(B).style.border = 'solid #802000 2px';
  }

function bildnorand(B) {
  document.getElementById(B).style.border = 'solid #CCCCCC 2px';
  }

function showpic(pic,autor) {
  document.getElementById('showbild').src = pic;
  document.getElementById('bildautor').value = autor; 
  }

function linkshow(htext,hlink) {
  document.getElementById('linktext').innerHTML = htext;
  document.getElementById('linklink').innerHTML = hlink;
  }