// JavaScript Document
//CSS stylesheet for menu bar
//verander hier de achtergrond (#404040) en link kleur (black):
var cssdefinition='<style>\n.menuitems{\nborder:2.5px solid #336699;\n}\n\n.menuitems a{\ntext-decoration:none;\ncolor:#00FFFF;\n}\n<\/style>'


if (document.all||document.getElementById)
document.write(cssdefinition)

function over_effect(e,state, bgcolor){
if (document.all)
source4=event.srcElement
else if (document.getElementById)
source4=e.target
if (source4.className=="menuitems"){
source4.style.borderStyle=state
source4.style.backgroundColor=bgcolor
}
else{
while(source4.tagName!="DIV"){
source4=document.getElementById? source4.parentNode : source4.parentElement
if (source4.className=="menuitems"){
source4.style.borderStyle=state
source4.style.backgroundColor=bgcolor
}
}
}
}