add open sans font file

Author: francescospissu

arduino-ide-extension/src/browser/style/fonts.css

@@ -1,3 +1,10 @@
+@font-face {
+  font-family: 'Open Sans';
+  font-style: normal;
+  font-weight: 300;
+  src: url('fonts/OpenSans-Regular-webfont.woff') format('woff');
+}
+
 @font-face {
   font-family: 'FontAwesome';
   src:

arduino-ide-extension/src/browser/style/fonts/OpenSans-Regular-webfont.woff

@@ -19,13 +19,6 @@
 @import './custom-codicon.css';
 @import './progress-bar.css';
 
-@font-face {
-  font-family: 'Open Sans';
-  font-style: normal;
-  font-weight: 300;
-  src: url(https://fonts.gstatic.com/s/opensans/v29/memSYaGs126MiZpBA-UvWbX2vVnXBbObj2OVZyOOSr4dVJWUgsjZ0B4gaVI.woff2) format('woff2');
-}
-
 .theia-input.warning:focus {
   outline-width: 1px;
   outline-style: solid;