diff --git a/media/main.css b/media/main.css
index f0e216c..042d35c 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 {
@@ -704,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%;
+}
+
/* ****************************************************************************
*
* **************************************************************************** */
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 += `
`;
- $('.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 cb1b6f8..6f091d8 100644
--- a/src/provider.ts
+++ b/src/provider.ts
@@ -519,7 +519,7 @@ return `
Elpi Tracer
-
+
@@ -660,13 +660,13 @@ return `
- a
+
-