// Misc. javascripts for site-wide use