//(c) Ger Versluis 2000 version 1.0, 1 november 2000































































































































































































































































































































































































































































































































































































































































































































































































































































































	var NoOffFirstLineMenus=9; //set number of main menu items















































































































































































































































































































































































































































	var LowBgColor='FFA07A';









































































































































































































































































































































































































































	var HighBgColor='FFA07A';















































































































































































































































































































































































































































	var FontLowColor='white';















































































































































































































































































































































































































































	var FontHighColor='#191970';















































































































































































































































































































































































































































	var BorderColor='white';















































































































































































































































































































































































































































	var BorderWidth=1;





























































































































































































































































































































	var BorderBtwnElmnts=1;

















































































































	var FontFamily="Verdana,Arial,Helvetica"

































































	var FontSize=8;

































































	var FontBold=0;













































































	var FontItalic=0;



























































	var MenuTextCentered=0;





































































































































































































































































































	var MenuCentered='left';















































	var MenuVerticalCentered='top';













































































	var ChildOverlap=0;



















































































	var ChildVerticalOverlap=0;









































































































































	var StartTop=220; //set vertical offset





















































	var StartLeft=0; //set horizontal offset































































































	var VerCorrect=0;















































	var HorCorrect=0;













































































	var LeftPaddng=3;





















































	var TopPaddng=1;























































































































	var FirstLineHorizontal=0; //set menu layout (1=horizontal, 0=vertical)



















































































	var MenuFramesVertical=1;



































































































































	var DissapearDelay=500;



























































	var TakeOverBgColor=1;





















































	var FirstLineFrame='navig';







































































































































































	var SecLineFrame='space';





























































































































	var DocTargetFrame='space';









































	var WebMasterCheck=0;





























































































































//Menux=new Array("text to show","Link",No of sub elements,element height,element width);





















































//see accompanying "config.htm" file for more information on structure of menus



















































































Menu1=new Array("News","index.htm",0,20,110);























Menu2=new Array("Noticeboard","noticeboard.htm",0,20,110);























Menu3=new Array("Arts Listings","artslisting.htm",0,20,110);























Menu4=new Array("Lectures/Seminars","publiclectures.htm",0,20,110);























Menu5=new Array("Staff Club","staffclub.htm",0,20,110);























Menu6=new Array("Staff Vacancies","vacancies.htm",0,20,110);

















Menu7=new Array("Bulletin Archive","../archive.htm",0,20,110);











Menu8=new Array("Bulletin Home","../index.html",0,20,110);











Menu9=new Array("Bulletin Search","../search.html",0,20,110);