// Definitions of functions to open definition windows.

function define(string,size)
{
  var html = "def_" + string + ".html";
  if (arguments.length == 1)
  {
    window.open(html, "Definitions", 
  	    "width=400px,height=500px,resizable=yes", true);
  }
  else
  {
    window.open(html, "Definitions", 
  	    "width=600px,height=600px,resizable=yes,scrollbars=yes", true);
  }
}