+
{PEEK.map((e) => (
-
+
))}
diff --git a/src/styles.css b/src/styles.css
index ec0ce62..ef22f37 100644
--- a/src/styles.css
+++ b/src/styles.css
@@ -1538,3 +1538,12 @@ button {
.docs-anchor { opacity: 0; margin-left: 9px; padding: 0 2px; background: none; border: none; color: #46c8e0; cursor: pointer; font-size: 0.8em; font-weight: 600; text-decoration: none; vertical-align: middle; transition: opacity 0.12s; }
.docs-render h2:hover .docs-anchor, .docs-render h3:hover .docs-anchor, .docs-anchor:focus-visible { opacity: 0.85; }
.docs-anchor:hover { opacity: 1; }
+
+/* docs full-text search results (0.93) */
+.docs-results { padding: 8px; display: flex; flex-direction: column; gap: 2px; }
+.docs-result { display: flex; flex-direction: column; gap: 3px; text-align: left; background: none; border: none; padding: 8px 10px; border-radius: 8px; cursor: pointer; }
+.docs-result:hover { background: #131c2b; }
+.docs-result.on { background: #1a2740; }
+.docs-result-title { color: #eaf2ff; font-size: 13.5px; font-weight: 600; }
+.docs-result-snip { color: #8595ab; font-size: 12px; line-height: 1.45; }
+.docs-result-snip mark { background: rgba(39, 216, 255, 0.22); color: #d6f0f8; border-radius: 2px; padding: 0 1px; }