godotengine/godot-docs
1
0
Fork 0
mirror of https://github.com/godotengine/godot-docs.git synced 2025-12-31 17:49:03 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #6407 from YuriSizov/frontend-remove-search-highlight

Browse Source 
Remove search highlights from the page and the history
This commit is contained in:
Yuri Sizov
2022-11-22 01:29:26 +03:00
committed by GitHub
parent 6209300684 0209919fc2
commit b3f571cf54
3 changed files with 20 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
_static/css/custom.css
View File

@@ -1106,12 +1106,21 @@ kbd.compound > .kbd,
background-color: var(--navbar-current-background-color-active);
}
/* Hide the obnoxious automatic highlight in search results */
/* Hide the obnoxious automatic highlight from the search context. */
.rst-content .highlighted {
background-color: transparent;
box-shadow: none;
font-weight: inherit;
padding: 0;
}
/* Still slightly highlight matched parts on the dedicated search results page. */
.rst-content #search-results .highlighted {
background-color: #ffcd0029;
border-radius: 2px;
color: var(--body-color);
font-weight: 600;
padding: 0 3px;
}
/* Allows the scrollbar to be shown in the sidebar */
@media only screen and (min-width: 769px) {

8
_static/js/custom.js
View File

@@ -233,6 +233,14 @@ const registerSidebarObserver = (function(){
})();
$(document).ready(() => {
// Remove the search match highlights from the page, and adjust the URL in the
// navigation history.
const url = new URL(location.href);
if (url.searchParams.has('highlight')) {
Documentation.hideSearchWords();
}
// Initialize handlers for page scrolling and our custom sidebar.
const mediaQuery = window.matchMedia('only screen and (min-width: 769px)');
registerOnScrollEvent(mediaQuery);

4
conf.py
View File

@@ -189,14 +189,14 @@ html_extra_path = ["robots.txt"]
html_css_files = [
'css/algolia.css',
'https://cdn.jsdelivr.net/npm/docsearch.js@2/dist/cdn/docsearch.min.css',
"css/custom.css?2", # Increment the number at the end when the file changes to bust the cache.
"css/custom.css?3", # Increment the number at the end when the file changes to bust the cache.
]
if not on_rtd:
html_css_files.append("css/dev.css")
html_js_files = [
"js/custom.js?1", # Increment the number at the end when the file changes to bust the cache.
"js/custom.js?2", # Increment the number at the end when the file changes to bust the cache.
('https://cdn.jsdelivr.net/npm/docsearch.js@2/dist/cdn/docsearch.min.js', {'defer': 'defer'}),
('js/algolia.js', {'defer': 'defer'})
]