add padding to the filter input in terminal

1256d138 · yann300 · 794e2916 · 1256d138
Commit 1256d138 authored May 09, 2019 by yann300
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 0 deletions

terminal-styles.js src/app/panels/styles/terminal-styles.js +2 -0

No files found.
--- a/src/app/panels/styles/terminal-styles.js
+++ b/src/app/panels/styles/terminal-styles.js
@@ -93,6 +93,8 @@ var css = csjs`
    width             : 330px;
    padding-left      : 20px;
    height            : 100%;
+    padding-top       : 1px;
+    padding-bottom    : 1px;
  }
  .filter                       {
    padding-right               : 0px;