/* Javacsript file from jonathanknoll.net by Jonathan Knoll */ 
/* Stylesheet: 'defaultMenu' */ 
/* Date: Mon, 15 Dec 2025 23:26:13 +0100 */ 
/* URL: http://jonathanknoll.net/js/defaultMenu */