From a26ccb34768fdaceff2cf4d27aee4c830fd47303 Mon Sep 17 00:00:00 2001
From: Hamid Bluri
Date: Tue, 22 Aug 2023 20:01:21 +0330
Subject: fix #22492 (#22511)
* fix #22492
* Update nimdoc.css
remove scroll-y
* Update nimdoc.out.css
* Update nimdoc.css
* make it sticky again
* Update nimdoc.out.css
* danm sticky, use fixed
* Update nimdoc.out.css
* fix margin
* Update nimdoc.out.css
* make search input react to any change (not just keyboard events) according to https://github.com/nim-lang/Nim/pull/22511#issuecomment-1685218787
---
doc/nimdoc.css | 11 ++++++-----
1 file changed, 6 insertions(+), 5 deletions(-)
(limited to 'doc')
diff --git a/doc/nimdoc.css b/doc/nimdoc.css
index 3fb5497ff..a9e4ac9c6 100644
--- a/doc/nimdoc.css
+++ b/doc/nimdoc.css
@@ -767,15 +767,16 @@ div.topic {
div.search_results {
background-color: var(--third-background);
- margin: 3em;
+ margin: 3vh 5vw;
padding: 1em;
border: 1px solid #4d4d4d;
- position: sticky;
- top: 0;
+ position: fixed;
+ top: 10px;
isolation: isolate;
+ max-width: calc(100vw - 6em);
z-index: 1;
- max-height: 100vh;
- overflow-y: scroll; }
+ max-height: calc(100vh - 6em);
+ overflow-y: scroll;}
div#global-links ul {
margin-left: 0;
--
cgit 1.4.1-2-gfad0