diff options
author | Filip Zybała <fzybala@virtuslab.com> | 2020-05-12 14:58:05 +0200 |
---|---|---|
committer | Paweł Marks <Kordyjan@users.noreply.github.com> | 2020-05-21 15:26:00 +0200 |
commit | 25d826bb75a78eb674a63aed19f55e92d7ff8bca (patch) | |
tree | 72c0c1a04dd4cb301ee8d7a59fce90d5baea4662 /plugins/base/src/main/resources/dokka/styles/jetbrains-mono.css | |
parent | 2ee83d06c9cc534b4f226dd30f294bc0588e8b4e (diff) | |
download | dokka-25d826bb75a78eb674a63aed19f55e92d7ff8bca.tar.gz dokka-25d826bb75a78eb674a63aed19f55e92d7ff8bca.tar.bz2 dokka-25d826bb75a78eb674a63aed19f55e92d7ff8bca.zip |
Migrated resources to base-plugin
Diffstat (limited to 'plugins/base/src/main/resources/dokka/styles/jetbrains-mono.css')
-rw-r--r-- | plugins/base/src/main/resources/dokka/styles/jetbrains-mono.css | 13 |
1 files changed, 13 insertions, 0 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 new file mode 100644 index 00000000..2af32a92 --- /dev/null +++ b/plugins/base/src/main/resources/dokka/styles/jetbrains-mono.css @@ -0,0 +1,13 @@ +@font-face{ + font-family: 'JetBrains Mono'; + src: url('https://raw.githubusercontent.com/JetBrains/JetBrainsMono/master/web/woff2/JetBrainsMono-Regular.woff2') format('woff2'); + 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; + font-style: normal; +}
\ No newline at end of file |