From 188830c1fd15574d42bcb2977674714d8cab6557 Mon Sep 17 00:00:00 2001
From: VojtechStep <code@vojtechstep.eu>
Date: Thu, 16 Jul 2026 18:41:49 +0200
Subject: [PATCH 1/3] Remove a stray element

---
 src/provider.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/provider.ts b/src/provider.ts
index cb1b6f8..71be474 100644
--- a/src/provider.ts
+++ b/src/provider.ts
@@ -660,7 +660,7 @@ return `<!DOCTYPE html>
                 </div>
 
                 <br/>
-            </div>a
+            </div>
 
             <!-- !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
                  ;; Message Pane

From 02a3c12a027dbf98cda8e8f17046ed69d23693cc Mon Sep 17 00:00:00 2001
From: VojtechStep <code@vojtechstep.eu>
Date: Thu, 16 Jul 2026 18:42:39 +0200
Subject: [PATCH 2/3] Fix height of trace explorer

---
 media/main.css  | 19 +++++++------------
 media/main.js   | 12 +++++-------
 src/provider.ts |  4 ++--
 3 files changed, 14 insertions(+), 21 deletions(-)

diff --git a/media/main.css b/media/main.css
index f0e216c..f0c8a75 100644
--- a/media/main.css
+++ b/media/main.css
@@ -22,11 +22,8 @@ html, body
   padding: 40px 20px;
 }
 
-.message
-{
-  display:block;
-  background-color: var(--vscode-sideBar-background);
-  padding: 10px 20px;
+.messages a:not(.button):not(.tag) {
+    color: currentColor;
 }
 
 /* .messages .action-buttons */
@@ -85,14 +82,8 @@ html, body
   border-radius: 0;
 }
 
-.inbox-messages
-{
-  margin-top:30px;
-}
-
 .message-preview
 {
-  margin-top: 60px;
   border: 1px solid var(--vscode-panel-border); /* Decrease opacity later on */
 }
 
@@ -563,7 +554,11 @@ a.dropdown-item:hover
 #message-feed
 {
   overflow-y: auto;
-  height: 100px;
+  /* height: 100px; */
+  /* Bulma has a class for full-height with navbar, but doesn't have one
+     for full-height with *two* navbars */
+  min-height: calc(100vh - 2*3.25rem) !important;
+  max-height: calc(100vh - 2*3.25rem);
 }
 
 #trace-information {
diff --git a/media/main.js b/media/main.js
index 4bd02c8..fc5ebd9 100644
--- a/media/main.js
+++ b/media/main.js
@@ -1795,20 +1795,18 @@ class="has-tooltip-arrow has-tooltip-bottom" data-tooltip="${attempt_loc_file} (
                     code += `
 </div>
 `;
-                    $('.message .goal').html(code);
-		    
-                    // $('.message .goal').html(msg.goal_text_highlighted);
+                    $('#message-pane .goal').html(code);
 
-                    $('.message .goal_id').html(msg.goal_id);
+                    $('#message-pane .goal_id').html(msg.goal_id);
 
-                    $('.message .top .tags .rid').text(msg.rt);
-                    $('.message .top .tags .sid').text(msg.id);
+                    $('#message-pane .top .tags .rid').text(msg.rt);
+                    $('#message-pane .top .tags .sid').text(msg.id);
 
 // /////////////////////////////////////////////////////////////////////////////
 // TODO: Card pane refactoring entry point
 // /////////////////////////////////////////////////////////////////////////////
 
-                    $('.message .card_content').html(format(msg));
+                    $('#message-pane .card_content').html(format(msg));
 
 // /////////////////////////////////////////////////////////////////////////////
 
diff --git a/src/provider.ts b/src/provider.ts
index 71be474..6f091d8 100644
--- a/src/provider.ts
+++ b/src/provider.ts
@@ -519,7 +519,7 @@ return `<!DOCTYPE html>
 
         <title>Elpi Tracer</title>
     </head>
-    <body>
+    <body class="has-navbar-fixed-top has-navbar-fixed-bottom">
 
         <div class="columns" id="tracer">
 
@@ -666,7 +666,7 @@ return `<!DOCTYPE html>
                  ;; Message Pane
                  ;; !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!-->
 
-            <div class="column is-7 message hero is-fullheight is-hidden" id="message-pane">
+            <div class="column is-7 messages hero is-fullheight is-hidden" id="message-pane">
 
            <!-- !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
                 ;; Message Pane - Preview

From 7f7665b8f9fae750439bb291c888e1331ecb3489 Mon Sep 17 00:00:00 2001
From: VojtechStep <code@vojtechstep.eu>
Date: Thu, 16 Jul 2026 19:48:25 +0200
Subject: [PATCH 3/3] Fix message preview horizontal overflow

The invisible tooltips were overflowing to the right
---
 media/main.css | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/media/main.css b/media/main.css
index f0c8a75..042d35c 100644
--- a/media/main.css
+++ b/media/main.css
@@ -699,6 +699,22 @@ a.dropdown-item:hover
   font-size: 1em;
 }
 
+/* ****************************************************************************
+ * Location tooltips
+ * **************************************************************************** */
+
+[data-tooltip]:not(.is-disabled)::before,
+[data-tooltip]:not(.is-loading)::before,
+[data-tooltip]:not([disabled])::before {
+    left: auto;
+}
+
+[data-tooltip]:not(.is-disabled)::after,
+[data-tooltip]:not(.is-loading)::after,
+[data-tooltip]:not([disabled])::after {
+    left: 10%;
+}
+
 /* ****************************************************************************
  * 
  * **************************************************************************** */
