/* Small migration fixes. The original site stylesheet is retained. */
.theatre-badge { background: #7049a6 !important; }
:target { scroll-margin-top: 90px; }
