/* base: javascript needed for navbar manipulations */