From f6dbec0b4cc27210067cb1303e7cada47eab531f Mon Sep 17 00:00:00 2001
From: Andy Bunce <bunce.andy@gmail.com>
Date: Thu, 25 Sep 2025 18:29:28 +0100
Subject: [PATCH] [fix] css improvements

---
 webapp/static/clients/codemirror/grail.css  | 4 ++--
 webapp/static/clients/codemirror/grail.html | 2 +-
 webapp/static/clients/codemirror/list.js    | 6 +++---
 3 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/webapp/static/clients/codemirror/grail.css b/webapp/static/clients/codemirror/grail.css
index 30d9840..484f26b 100644
--- a/webapp/static/clients/codemirror/grail.css
+++ b/webapp/static/clients/codemirror/grail.css
@@ -42,8 +42,8 @@ body {
 
   summary {
     /* class: bg-info; */
-    --bs-bg-opacity: 1;
-    background-color: rgba(var(--bs-info-rgb), var(--bs-bg-opacity)) !important;
+   --bs-bg-opacity: 1;
+  background-color: rgba(var(--bs-light-rgb),var(--bs-bg-opacity)) !important;
   }
 
   /* Set editor dimensions */
diff --git a/webapp/static/clients/codemirror/grail.html b/webapp/static/clients/codemirror/grail.html
index d06e84b..384c687 100644
--- a/webapp/static/clients/codemirror/grail.html
+++ b/webapp/static/clients/codemirror/grail.html
@@ -148,7 +148,7 @@
                 <option value="xquery">xquery</option>
                 <option value="xml">xml</option>
             </select>
-            <button popovertarget="popHelp"><i class="codicon codicon-info"></i></button></a>
+            <button popovertarget="popHelp"><i class="codicon codicon-info"></i></button>
         </footer>
     </div>
     <!-- Popovers -->
diff --git a/webapp/static/clients/codemirror/list.js b/webapp/static/clients/codemirror/list.js
index 6b5f9ef..04939b0 100644
--- a/webapp/static/clients/codemirror/list.js
+++ b/webapp/static/clients/codemirror/list.js
@@ -34,12 +34,12 @@ class ListComponent extends HTMLElement {
     /* Render the list items #data */
     render() {
         const list = document.createElement('ul');
-        list.style="max-height:80cqh;overflow: scroll;";
+        list.style="max-height:80cqh;overflow: auto;";
         const shad=this.#shadow;
         this.#data.forEach((item, index) => {
             const listItem = document.createElement('li');
-            listItem.innerHTML = `<i  class='codicon codicon-${this.#iconKinds[item.kind]}'></i>
-            <span>${item.name} - ${item.detail}</span>`;
+            listItem.innerHTML = `<a><i  class='codicon codicon-${this.#iconKinds[item.kind]}'></i>
+            <span>${item.name} - ${item.detail}</span></a>`;
             // Adding a click event listener for user interaction
             listItem.addEventListener('click', () => {
                 console.log('Item clicked:', item, listItem);