// footnotes.js, used by Michael Joyce's most excellent footnotes
// requires a sidebar element on the page, but where you ask?
// just put it at the beginning of your content element.

function display_footnote(fn_id) {
  if (document.getElementById) {
  	document.getElementById('sidebar').style.borderWidth='1px';
	document.getElementById('sidebar').style.borderStyle='solid';
	document.getElementById('sidebar').style.borderColor='black';
  	document.getElementById('sidebar').innerHTML =
	  document.getElementById(fn_id).innerHTML;	
  }
}