Update theme.css

src/filebrowser/theme.css

@@ -34,7 +34,7 @@
 .jp-FileButtons {
   border-top: 1px solid #E0E0E0;
   border-bottom: 1px solid #E0E0E0;
-  padding: 9px 0 9px 0;
+  padding: 9px 0;
 }