From f214d8d9afa37287815bfdd0ec3d35d672908c59 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Chalifour?= <francois.chalifour@gmail.com>
Date: Wed, 22 Jul 2020 10:37:38 +0200
Subject: [PATCH] fix(docsearch): add padding to dropdown when no recent
 searches

This applies when `disableUserPersonalization` is `true`.
---
 src/modal.css | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/modal.css b/src/modal.css
index 807d0236..3af3d8eb 100644
--- a/src/modal.css
+++ b/src/modal.css
@@ -177,6 +177,7 @@
 /* Modal Dropdown */
 
 .DocSearch-Dropdown {
+  min-height: var(--docsearch-spacing);
   max-height: calc(
     var(--docsearch-modal-height) - var(--docsearch-searchbox-height) -
       var(--docsearch-spacing) - var(--docsearch-footer-height)