/* The original brand styles are preserved. Only the reconstructed mobile menu
   needs these additional rules. New feature-specific styling belongs here. */
.prototype-mobile-nav {border-top:1px solid var(--color-line);background:var(--color-paper);padding:12px 20px 18px;}
.prototype-mobile-nav a {display:block;padding:12px 0;}
.prototype-mobile-nav[hidden] {display:none;}
@media(min-width:768px){.prototype-mobile-nav{display:none;}}