add padding to the filter input in terminal

6 years ago · da675f505c
parent 9038e2eed9
commit da675f505c
1 changed files with 2 additions and 0 deletions
--- 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;