remove nav.less and improve tex support