decoration: none;
            color: #333;
            padding: 5px 10px;
            border-radius: 4px;
        }
        .nav-link:hover {
            background-color: #e0e0e0;
        }
        .nav-link.active {
            background-color: #007bff;
            color: white;
        }
    </style>
    <script>
        // Handle navigation link clicks
        function summonHandleNavLinkClick(element) {
            // Get the destination path
            var to = element.getAttribute('data-summon-to')