Hide focus outline in documentation search bar#1003

fhammerschmidt merged 1 commit intorescript-lang:masterrescript-lang/rescript-lang.org:masterfrom

mediremi:tweak-docsearch-stylesmediremi/rescript-lang.org:tweak-docsearch-stylesCopy head branch name to clipboard