/* Keep plugin-owned navigation visible when a theme hides generic header elements. */
.jsp-courses-home > .jsp-public-nav{display:flex!important}