op_nav">
    
        <div id="notification_banner" data-banner-hiding="temporal" v-show="!permanentlyHidden">
    <p v-if="visible" id="content">A GIFT to the whole DRO community!</p>
    <a class="close" href="#" @click.prevent="toggleVisible()">[[ visible ? '&#x25B2; HIDE' : '&#x25BC; SHOW BANNER' ]]</a>
</div>

<script>
(function() {
    const topNav = document.querySelector('#top_nav')
    const notificationContent = document.querySelector('#notification_banner p#content').innerText
    const localStor