diff --git a/docs/_static/style.css b/docs/_static/style.css
index 9f0a68145..3586614da 100644
--- a/docs/_static/style.css
+++ b/docs/_static/style.css
@@ -123,6 +123,7 @@ div.sphinxsidebar input {
   border: 1px solid #ccc;
   font-family: sans-serif;
   font-size: 1em;
+  margin-top: 10px;
 }
 
 /* -- body styles --------------------------------------------------------- */