Template:Normed and Banach spaces navbox