{# -*- engine:django -*- #} {% load menu_generator %} {% get_menu "NAV_MENU_INFRABLUE" as core_menu %}