erp5_json_editor: Minor update on the buttons

bt5/erp5_json_editor/SkinTemplateItem/portal_skins/erp5_json_editor/json-editor.gadget.css.css

@@ -61,13 +61,13 @@ div.json-editor-container .je-switcher {
 div.json-editor-container .btn {
   vertical-align: middle;
   border: 1px solid transparent;
-  padding: 0.25rem 0.5rem;
+  padding: 2pt 5pt 3pt 5pt;
   flex: 1 1 auto;
   color: #fff;
   background-color: #6c757d;
   border-color: #6c757d;
   font-size: 0.875rem;
-  border-radius: 0.2rem;
+  border-radius: 0.325rem;
 }
 div.json-editor-container .btn:hover {
   color: #fff;

bt5/erp5_json_editor/SkinTemplateItem/portal_skins/erp5_json_editor/json-editor.gadget.less.txt

@@ -70,13 +70,13 @@ div.json-editor-container {
   & .btn {
     vertical-align: middle;
     border: 1px solid transparent;
-    padding: 0.25rem 0.5rem;
+    padding: 2pt 5pt 3pt 5pt;
     flex: 1 1 auto;
     color: #fff;
     background-color: #6c757d;
     border-color: #6c757d;
     font-size: .875rem;
-    border-radius: 0.2rem;
+    border-radius: 0.325rem;
   }
   
   & .btn:hover {