diff options
| author | Hamid Bluri <hr.bolouri@gmail.com> | 2023-08-22 20:01:21 +0330 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-08-22 18:31:21 +0200 |
| commit | a26ccb34768fdaceff2cf4d27aee4c830fd47303 (patch) | |
| tree | 5215da171d855c7168b0f7547b08213cbf0b1e66 /doc | |
| parent | 602f537eb2445b442b6cddecf9f55bf476068ea9 (diff) | |
| download | Nim-a26ccb34768fdaceff2cf4d27aee4c830fd47303.tar.gz | |
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
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/nimdoc.css | 11 |
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; |