UI enhancements: Search modal, scrollbars and permalink text (#564)

- Fix search source title background overlap.
- Remove default permalink text. (This'll remove the pilcrow sign
displayed after each search result).
- Enhance search modal's scrollbar colors.

source/_static/scss/includes/_search.scss

@@ -151,6 +151,10 @@
 	padding-left: 0.5rem;
 }
 
+.DocSearch-Dropdown {
+	--docsearch-muted-color: var(--ds-scrollbar-bg);
+}
+
 .DocSearch-Hits {
 	mark {
 		--docsearch-highlight-color: var(--text-color);
@@ -172,6 +176,7 @@
 .DocSearch-Hit {
 	--docsearch-highlight-color: var(--ds-highlight-color);
 	--docsearch-hit-active-color: var(--text-color);
+	--docsearch-muted-color: var(--text-muted-color);
 
 	& > a {
 		border-radius: $border-radius;
@@ -179,13 +184,18 @@
 	}
 }
 
+.DocSearch-Hits {
+	&:not(:last-child) {
+		margin-bottom: 1rem;
+	}
+}
+
 .DocSearch-Hit-source {
 	--docsearch-highlight-color: var(--text-muted-color);
-	--docsearch-modal-background: transaprent;
 
-	font-weight: $font-weight-normal;
-	margin: 0 0.25rem;
+	font-weight: $font-weight-medium;
 	font-size: $font-size-sm;
+	padding: 0.5rem 0.75rem 0.1rem;
 }
 
 .DocSearch-Hit-path {

source/_static/scss/includes/_theme.scss

@@ -112,12 +112,13 @@ $theme-properties: (
     --alert-warning-link-decoration-color: #e3c3c6 #54141a,
 
     // Doc Search
-    --docsearch-modal-background: rgba($white, 0.85) rgba($dark-100, 0.6),
+    --docsearch-modal-background: #d8dcdf #1c232d,
     --docsearch-container-background: rgba($black, 0.25) rgba(16, 21, 28, 0.851),
     --ds-highlight-color: rgba(120, 133, 152, 0.125) rgba(16, 21, 28, 0.3),
     --ds-search-bg: $white $dark-100,
     --ds-search-placeholder-color: #7e7e7e #697995,
     --ds-search-focus-shadow: rgba($white, 0.15) #1b232f,
+    --ds-scrollbar-bg: #bcc4cb #151b24,
 );
 
 // Activate dark/light themes

source/default-conf.py

@@ -248,6 +248,8 @@ html_extra_path = [ 'extra']
 
 html_title = 'MinIO Object Storage for ' + ("MacOS" if platform == "macos" else platform.capitalize())
 
+html_permalinks_icon = ''
+
 html_context = {
     'doc_platform': platform.lower()
 }