if (typeof(window['main_menu_item'])=="undefined") {
  main_menu_item = ""
}
else
{
  main_menu_item = "Documentation"
}
prefix = 'http://' + document.domain
menu=[
['index.html', 'Home'],
['documentation.html', 'Documentation'],
['download.html', 'Download'],
['http://devel.mediadart.org', 'Wiki'],
['about.html', 'About']
]
document.write('<a href="index.html"><div class="header">media[d<span style="color:#dd3333;">a</span><span style="color:#229922;">r</span><span style="color:#1111aa;">t</span>]</a></div><div class="subheader">Distributed multimedia storage and processing</div>')
document.write('<div class="menu">')
document.write('| ')
for (x in menu) {
  url1 = prefix+menu[x][0]
  if (document.URL==url1 || main_menu_item==menu[x][1]) {
    document.write(menu[x][1]+' | ')
  }
  else 
  {
    document.write('<a href="'+menu[x][0]+'">'+menu[x][1]+'</a> | ')
  }
}
document.write('<br><br></div>')