diff --git a/src/vs/workbench/parts/preferences/browser/media/settingsEditor2.css b/src/vs/workbench/parts/preferences/browser/media/settingsEditor2.css index 70d862781ed488c51b6da2590ffd8561e3c689cf..103a3dee5b08c205e80e748bbb64880a9d9b6a2c 100644 --- a/src/vs/workbench/parts/preferences/browser/media/settingsEditor2.css +++ b/src/vs/workbench/parts/preferences/browser/media/settingsEditor2.css @@ -107,8 +107,13 @@ } .settings-editor > .settings-body > .no-results { - margin-top: 20px; display: none; + max-width: 1000px; + margin: auto; + margin-top: 20px; + padding-left: 24px; + padding-right: 24px; + box-sizing: border-box; } .settings-editor.no-toc-search > .settings-body .settings-tree-container .monaco-tree-wrapper,