From 66d80a8b644d06eeb300a3462ed115e74dc4ea91 Mon Sep 17 00:00:00 2001
From: Abdul Malik Ikhsan <samsonasik@gmail.com>
Date: Wed, 30 Apr 2025 22:10:57 +0700
Subject: [PATCH 1/2] Only show Dark/Light Theme bottom menu when on @isset
 ($codeMirror)

---
 resources/views/_snippets/menu_items.blade.php | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/resources/views/_snippets/menu_items.blade.php b/resources/views/_snippets/menu_items.blade.php
index a3acdf9a7..5ec4227ae 100644
--- a/resources/views/_snippets/menu_items.blade.php
+++ b/resources/views/_snippets/menu_items.blade.php
@@ -46,7 +46,10 @@ class="nav-link">Play with AST</a>
            class="nav-link">Find rule</a>
     </li>
 
+    @isset ($codeMirror)
     <li class="nav-item">
         <a onclick="toggleTheme()" class="nav-link" id="theme_toggle" style="cursor: pointer">Dark/Light Theme</a>
     </li>
+    @endisset
+
 @endisset

From 9d93285632ac5da0e7f86dedfbca7c2149c6be5f Mon Sep 17 00:00:00 2001
From: Abdul Malik Ikhsan <samsonasik@gmail.com>
Date: Wed, 30 Apr 2025 22:15:33 +0700
Subject: [PATCH 2/2] fix multile isset

---
 resources/views/_snippets/styles.blade.php | 2 --
 1 file changed, 2 deletions(-)

diff --git a/resources/views/_snippets/styles.blade.php b/resources/views/_snippets/styles.blade.php
index 4fc850aaf..dff77e53e 100644
--- a/resources/views/_snippets/styles.blade.php
+++ b/resources/views/_snippets/styles.blade.php
@@ -9,7 +9,6 @@
 {{-- pick from https://highlightjs.org/demo --}}
 
     <link rel="stylesheet" id="theme-link" href="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.9.0/styles/base16/atlas.min.css">
-@endisset
 
 <style>
     pre code.hljs {
@@ -63,7 +62,6 @@ function toggleTheme() {
     window.onload = loadTheme;
 </script>
 
-@isset ($codeMirror)
     <script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.9.0/highlight.min.js"></script>
     <script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.9.0/languages/bash.min.js"></script>
     <script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.9.0/languages/php.min.js"></script>