/* Javacsript file from jonathanknoll.net by Jonathan Knoll */ 
/* Stylesheet: 'defaultMenu' */ 
/* Date: Thu, 16 Apr 2026 08:35:34 +0200 */ 
/* URL: http://jonathanknoll.net/js/defaultMenu */