diff --git a/fonts/resources/jetbrainsmono/jetbrainsmono-bold-italic.ttf b/fonts/resources/jetbrainsmono/jetbrainsmono-bold-italic.ttf deleted file mode 100644 index 87b9bf8..0000000 Binary files a/fonts/resources/jetbrainsmono/jetbrainsmono-bold-italic.ttf and /dev/null differ diff --git a/fonts/resources/jetbrainsmono/jetbrainsmono-bold-italic.woff b/fonts/resources/jetbrainsmono/jetbrainsmono-bold-italic.woff new file mode 100644 index 0000000..c09cda8 Binary files /dev/null and b/fonts/resources/jetbrainsmono/jetbrainsmono-bold-italic.woff differ diff --git a/fonts/resources/jetbrainsmono/jetbrainsmono-bold.ttf b/fonts/resources/jetbrainsmono/jetbrainsmono-bold.ttf deleted file mode 100644 index fd1ab3c..0000000 Binary files a/fonts/resources/jetbrainsmono/jetbrainsmono-bold.ttf and /dev/null differ diff --git a/fonts/resources/jetbrainsmono/jetbrainsmono-bold.woff b/fonts/resources/jetbrainsmono/jetbrainsmono-bold.woff new file mode 100644 index 0000000..f57d10b Binary files /dev/null and b/fonts/resources/jetbrainsmono/jetbrainsmono-bold.woff differ diff --git a/fonts/resources/jetbrainsmono/jetbrainsmono-italic.ttf b/fonts/resources/jetbrainsmono/jetbrainsmono-italic.ttf deleted file mode 100644 index 2b6d374..0000000 Binary files a/fonts/resources/jetbrainsmono/jetbrainsmono-italic.ttf and /dev/null differ diff --git a/fonts/resources/jetbrainsmono/jetbrainsmono-italic.woff b/fonts/resources/jetbrainsmono/jetbrainsmono-italic.woff new file mode 100644 index 0000000..f3ddf4d Binary files /dev/null and b/fonts/resources/jetbrainsmono/jetbrainsmono-italic.woff differ diff --git a/fonts/resources/jetbrainsmono/jetbrainsmono-regular.ttf b/fonts/resources/jetbrainsmono/jetbrainsmono-regular.ttf deleted file mode 100644 index dfbece6..0000000 Binary files a/fonts/resources/jetbrainsmono/jetbrainsmono-regular.ttf and /dev/null differ diff --git a/fonts/resources/jetbrainsmono/jetbrainsmono.woff b/fonts/resources/jetbrainsmono/jetbrainsmono.woff new file mode 100644 index 0000000..20b54f1 Binary files /dev/null and b/fonts/resources/jetbrainsmono/jetbrainsmono.woff differ diff --git a/fonts/stylesheets/fonts.less b/fonts/stylesheets/fonts.less index 8175b00..9716e94 100755 --- a/fonts/stylesheets/fonts.less +++ b/fonts/stylesheets/fonts.less @@ -176,10 +176,10 @@ .font ( 'inconsolata-g', normal, normal, 'inconsolata-g/inconsolata-g.otf' ); -.font ( 'jetbrainsmono', normal, normal, 'jetbrainsmono/jetbrainsmono-regular.ttf'); -.font ( 'jetbrainsmono', normal, italic, 'jetbrainsmono/jetbrainsmono-italic.ttf'); -.font ( 'jetbrainsmono', bold, normal, 'jetbrainsmono/jetbrainsmono-bold.ttf'); -.font ( 'jetbrainsmono', bold, italic, 'jetbrainsmono/jetbrainsmono-bold-italic.ttf'); +.font ( 'jetbrainsmono', normal, normal, 'jetbrainsmono/jetbrainsmono.woff'); +.font ( 'jetbrainsmono', normal, italic, 'jetbrainsmono/jetbrainsmono-italic.woff'); +.font ( 'jetbrainsmono', bold, normal, 'jetbrainsmono/jetbrainsmono-bold.woff'); +.font ( 'jetbrainsmono', bold, italic, 'jetbrainsmono/jetbrainsmono-bold-italic.woff'); .font ( 'julia-mono', normal, italic, 'julia-mono/julia-mono-italic.ttf' ); .font ( 'julia-mono', normal, normal, 'julia-mono/julia-mono.ttf' ); diff --git a/fonts/stylesheets/stylesheet.css b/fonts/stylesheets/stylesheet.css index cd921cb..0a978db 100755 --- a/fonts/stylesheets/stylesheet.css +++ b/fonts/stylesheets/stylesheet.css @@ -740,25 +740,25 @@ font-family: 'jetbrainsmono'; font-weight: normal; font-style: normal; - src: url('../resources/jetbrainsmono/jetbrainsmono-regular.ttf'); + src: url('../resources/jetbrainsmono/jetbrainsmono.woff'); } @font-face { font-family: 'jetbrainsmono'; font-weight: normal; font-style: italic; - src: url('../resources/jetbrainsmono/jetbrainsmono-italic.ttf'); + src: url('../resources/jetbrainsmono/jetbrainsmono-italic.woff'); } @font-face { font-family: 'jetbrainsmono'; font-weight: bold; font-style: normal; - src: url('../resources/jetbrainsmono/jetbrainsmono-bold.ttf'); + src: url('../resources/jetbrainsmono/jetbrainsmono-bold.woff'); } @font-face { font-family: 'jetbrainsmono'; font-weight: bold; font-style: italic; - src: url('../resources/jetbrainsmono/jetbrainsmono-bold-italic.ttf'); + src: url('../resources/jetbrainsmono/jetbrainsmono-bold-italic.woff'); } @font-face { font-family: 'julia-mono';