From b299afd78a387c3ab967697cfc41d22db31e3438 Mon Sep 17 00:00:00 2001
From: Kushaan Gupta <gkushaan@rediffmail.com>
Date: Wed, 18 Dec 2024 11:16:21 -0500
Subject: [PATCH] add hint for search shortcut

---
 docs/stylesheets/extra.css | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

diff --git a/docs/stylesheets/extra.css b/docs/stylesheets/extra.css
index 6772573..02ba6bd 100644
--- a/docs/stylesheets/extra.css
+++ b/docs/stylesheets/extra.css
@@ -52,4 +52,18 @@ p {
 
 .md-tabs {
   background: none;
-}
\ No newline at end of file
+}
+
+[data-md-toggle="search"]:not(:checked) ~ .md-header .md-search__form::after {
+  position: absolute;
+  top: .3rem;
+  right: .3rem;
+  display: block;
+  padding: .1rem .4rem;
+  color: var(--md-default-bg-color);
+  font-weight: bold;
+  font-size: .8rem;
+  border: .05rem solid var(--md-default-bg-color--lighter);
+  border-radius: .1rem;
+  content: "/";
+}