From f9cda51dbd06282b901fd58d2c34ce5bb7f1fcc5 Mon Sep 17 00:00:00 2001
From: Steven Hugg <hugg@fasterlight.com>
Date: Sun, 30 Aug 2026 19:58:44 +0200
Subject: [PATCH] search: styling fix

---
 src/ide/search/searchview.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ide/search/searchview.ts b/src/ide/search/searchview.ts
index 07e84af0..29fe7ed4 100644
--- a/src/ide/search/searchview.ts
+++ b/src/ide/search/searchview.ts
@@ -155,7 +155,7 @@ export function openSearchDialog() {
         `<span class="search-kind" style="margin-right:6px;font-weight:bold">${kindIcon}</span>` +
         (isSmart ? `<strong>${escapeHtml(rec.name)}</strong>` : `<span class="search-dumb">${escapeHtml(rec.name)}</span>`) +
         (rec.brief ? ` <span class="text-muted">- ${escapeHtml(rec.brief)}</span>` : '') +
-        `<span class="pull-right text-muted" style="font-size:small">${escapeHtml(srcName)}${loc ? ' · ' + escapeHtml(loc) : ''}</span>`
+        `<span class="pull-right" style="font-style:italic;font-size:small">${escapeHtml(srcName)}${loc ? ' · ' + escapeHtml(loc) : ''}</span>`
       );
       li.click(() => {
         openSelected(currentHits.indexOf(hit));