Counter and Theme Toggle - Xquery Typing CST Test