summary refs log tree commit diff stats
path: root/doc/nimdoc.css
diff options
context:
space:
mode:
Diffstat (limited to 'doc/nimdoc.css')
-rw-r--r--doc/nimdoc.css11
1 files changed, 6 insertions, 5 deletions
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;