소스 검색

Fixed file browser glitches

Roshan Prabhakar 8 년 전
부모
커밋
aa17d941e3
1개의 변경된 파일2개의 추가작업 그리고 1개의 파일을 삭제
  1. 2 1
      src/filebrowser/theme.css

+ 2 - 1
src/filebrowser/theme.css

@@ -34,7 +34,6 @@
 .jp-FileButtons {
   border-top: 1px solid #E0E0E0;
   border-bottom: 1px solid #E0E0E0;
-  padding: 9px 0;
 }
 
 
@@ -47,6 +46,8 @@
   border: none;
   font-size: 16px;
   outline: 0;
+  padding-top: 12px;
+  padding-bottom: 12px;
 }