Skip to content

Commit e8bee99

Browse files
Styling
1 parent bfb987f commit e8bee99

File tree

2 files changed

+12
-2
lines changed

2 files changed

+12
-2
lines changed

Public/css/popover.css

+4
Original file line numberDiff line numberDiff line change
@@ -41,6 +41,10 @@
4141
white-space: pre-line;
4242
}
4343

44+
.popover-content .font-monospace {
45+
font-family: Menlo, Consolas, "DejaVu Sans Mono", "Ubuntu Mono", monospace !important;
46+
}
47+
4448
.popover-content .badge {
4549
margin: 0 8px 0 8px;
4650
color: #696969;

Public/js/lookup_view.js

+8-2
Original file line numberDiff line numberDiff line change
@@ -75,9 +75,15 @@ export class LookupView {
7575
if (item.range) {
7676
const range = JSON.parse(item.range);
7777
const sourceRange = `${range.startRow}:${range.startColumn} - ${range.endRow}:${range.endColumn}`;
78-
return `<dt class="text-truncate" style="max-width: calc(40vw - 20px);"><span class="badge annotation" style="width: auto; text-align: start;">Text</span>${item.title}</dt><dd><div><span class="badge annotation">Range</span>${sourceRange}</div><div><span class="badge annotation">${item.type}</span>${item.content}</div></dd>`;
78+
return `<dt class="text-truncate" style="max-width: calc(40vw - 20px);">
79+
<span class="badge annotation" style="width: auto; text-align: start;">Text</span><span class="font-monospace">${item.title}</span>
80+
</dt>
81+
<dd><div><span class="badge annotation">Range</span>${sourceRange}</div><div><span class="badge annotation">${item.type}</span>${item.content}</div></dd>`;
7982
} else {
80-
return `<dt class="text-truncate" style="max-width: calc(40vw - 20px);"><span class="badge annotation" style="width: auto; text-align: start;">Text</span>${item.title}</dt><dd><div><span class="badge annotation">${item.type}</span>${item.content}</div></dd>`;
83+
return `<dt class="text-truncate" style="max-width: calc(40vw - 20px);">
84+
<span class="badge annotation" style="width: auto; text-align: start;">Text</span><span class="font-monospace">${item.title}</span>
85+
</dt>
86+
<dd><div><span class="badge annotation">${item.type}</span>${item.content}</div></dd>`;
8187
}
8288
})
8389
.join("");

0 commit comments

Comments
 (0)