[frontend] More tweaks to the nav animation