diff options
author | Marcin Aman <marcin.aman@gmail.com> | 2020-10-09 14:22:52 +0200 |
---|---|---|
committer | Kamil Doległo <9080183+kamildoleglo@users.noreply.github.com> | 2020-10-13 13:44:51 +0200 |
commit | 6bb04a1ca37ebd972efbb1108d16a7d134619d27 (patch) | |
tree | fbb682e6987729202b0a8b6b3e20a884cda23ce5 /plugins | |
parent | 3a5dfac12cf61d82b244026990b4d0f86d3b24b9 (diff) | |
download | dokka-6bb04a1ca37ebd972efbb1108d16a7d134619d27.tar.gz dokka-6bb04a1ca37ebd972efbb1108d16a7d134619d27.tar.bz2 dokka-6bb04a1ca37ebd972efbb1108d16a7d134619d27.zip |
Update urls to fonts
Diffstat (limited to 'plugins')
-rw-r--r-- | plugins/base/src/main/resources/dokka/styles/jetbrains-mono.css | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/plugins/base/src/main/resources/dokka/styles/jetbrains-mono.css b/plugins/base/src/main/resources/dokka/styles/jetbrains-mono.css index 2af32a92..3776d311 100644 --- a/plugins/base/src/main/resources/dokka/styles/jetbrains-mono.css +++ b/plugins/base/src/main/resources/dokka/styles/jetbrains-mono.css @@ -1,13 +1,19 @@ @font-face{ font-family: 'JetBrains Mono'; - src: url('https://raw.githubusercontent.com/JetBrains/JetBrainsMono/master/web/woff2/JetBrainsMono-Regular.woff2') format('woff2'); + src: url('https://raw.githubusercontent.com/JetBrains/JetBrainsMono/master/fonts/web/JetBrainsMono-Regular.eot') format('embedded-opentype'), + url('https://raw.githubusercontent.com/JetBrains/JetBrainsMono/master/fonts/web/JetBrainsMono-Regular.woff2') format('woff2'), + url('https://raw.githubusercontent.com/JetBrains/JetBrainsMono/master/fonts/web/JetBrainsMono-Regular.woff') format('woff'), + url('https://raw.githubusercontent.com/JetBrains/JetBrainsMono/master/fonts/ttf/JetBrainsMono-Regular.ttf') format('truetype'); font-weight: normal; font-style: normal; } @font-face{ font-family: 'JetBrains Mono'; - src: url('https://raw.githubusercontent.com/JetBrains/JetBrainsMono/master/web/woff2/JetBrainsMono-Bold.woff2') format('woff2'); - font-weight: bold; + src: url('https://raw.githubusercontent.com/JetBrains/JetBrainsMono/master/fonts/web/JetBrainsMono-Bold.eot') format('embedded-opentype'), + url('https://raw.githubusercontent.com/JetBrains/JetBrainsMono/master/fonts/web/JetBrainsMono-Bold.woff2') format('woff2'), + url('https://raw.githubusercontent.com/JetBrains/JetBrainsMono/master/fonts/web/JetBrainsMono-Bold.woff') format('woff'), + url('https://raw.githubusercontent.com/JetBrains/JetBrainsMono/master/fonts/ttf/JetBrainsMono-Bold.ttf') format('truetype'); + font-weight: normal; font-style: normal; }
\ No newline at end of file |