keyboard/altgr/index: enlarge header font only if appropriate