New Theme for the Site 2018/12/30 Hey all, The new Theme means that the Site Search is now back in working order, and is in the left sidebar.
Thank you Tim for your hard work in upgrading our new format!