change button font-size

Author: francescospissu

Diff for: arduino-ide-extension/src/browser/style/index.css

@@ -65,7 +65,7 @@ button.theia-button,
   font-family: 'Open Sans',sans-serif;
   font-style: normal;
   font-weight: 700;  
-  font-size: 1rem;
+  font-size: 14px;
   justify-content: center;
   cursor: pointer;
   letter-spacing: .01em;