bruvzg 78051f93a3 Convert the editor and default theme fonts to WOFF2 format to save space.

2022-03-25 11:45:55 +02:00

..

DroidSansFallback.woff2

Convert the editor and default theme fonts to WOFF2 format to save space.

2022-03-25 11:45:55 +02:00

DroidSansJapanese.woff2

Convert the editor and default theme fonts to WOFF2 format to save space.

2022-03-25 11:45:55 +02:00

JetBrainsMono_Regular.woff2

Convert the editor and default theme fonts to WOFF2 format to save space.

2022-03-25 11:45:55 +02:00

LICENSE.DroidSans.txt

…

LICENSE.JetBrainsMono.txt

Use JetBrains Mono as the editor's default code font

2022-01-05 01:35:50 +01:00

LICENSE.Noto.txt

Replace editor font to NotoSans for Latin, Arabic, Hebrew, Thai

2017-08-31 21:49:48 +09:00

NotoNaskhArabicUI_Bold.woff2

Convert the editor and default theme fonts to WOFF2 format to save space.

2022-03-25 11:45:55 +02:00

NotoNaskhArabicUI_Regular.woff2

Convert the editor and default theme fonts to WOFF2 format to save space.

2022-03-25 11:45:55 +02:00

NotoSans_Bold.woff2

Convert the editor and default theme fonts to WOFF2 format to save space.

2022-03-25 11:45:55 +02:00

NotoSans_Regular.woff2

Convert the editor and default theme fonts to WOFF2 format to save space.

2022-03-25 11:45:55 +02:00

NotoSansBengaliUI_Bold.woff2

Convert the editor and default theme fonts to WOFF2 format to save space.

2022-03-25 11:45:55 +02:00

NotoSansBengaliUI_Regular.woff2

Convert the editor and default theme fonts to WOFF2 format to save space.

2022-03-25 11:45:55 +02:00

NotoSansDevanagariUI_Bold.woff2

Convert the editor and default theme fonts to WOFF2 format to save space.

2022-03-25 11:45:55 +02:00

NotoSansDevanagariUI_Regular.woff2

Convert the editor and default theme fonts to WOFF2 format to save space.

2022-03-25 11:45:55 +02:00

NotoSansGeorgian_Bold.woff2

Convert the editor and default theme fonts to WOFF2 format to save space.

2022-03-25 11:45:55 +02:00

NotoSansGeorgian_Regular.woff2

Convert the editor and default theme fonts to WOFF2 format to save space.

2022-03-25 11:45:55 +02:00

NotoSansHebrew_Bold.woff2

Convert the editor and default theme fonts to WOFF2 format to save space.

2022-03-25 11:45:55 +02:00

NotoSansHebrew_Regular.woff2

Convert the editor and default theme fonts to WOFF2 format to save space.

2022-03-25 11:45:55 +02:00

NotoSansMalayalamUI_Bold.woff2

Convert the editor and default theme fonts to WOFF2 format to save space.

2022-03-25 11:45:55 +02:00

NotoSansMalayalamUI_Regular.woff2

Convert the editor and default theme fonts to WOFF2 format to save space.

2022-03-25 11:45:55 +02:00

NotoSansOriyaUI_Bold.woff2

Convert the editor and default theme fonts to WOFF2 format to save space.

2022-03-25 11:45:55 +02:00

NotoSansOriyaUI_Regular.woff2

Convert the editor and default theme fonts to WOFF2 format to save space.

2022-03-25 11:45:55 +02:00

NotoSansSinhalaUI_Bold.woff2

Convert the editor and default theme fonts to WOFF2 format to save space.

2022-03-25 11:45:55 +02:00

NotoSansSinhalaUI_Regular.woff2

Convert the editor and default theme fonts to WOFF2 format to save space.

2022-03-25 11:45:55 +02:00

NotoSansTamilUI_Bold.woff2

Convert the editor and default theme fonts to WOFF2 format to save space.

2022-03-25 11:45:55 +02:00

NotoSansTamilUI_Regular.woff2

Convert the editor and default theme fonts to WOFF2 format to save space.

2022-03-25 11:45:55 +02:00

NotoSansTeluguUI_Bold.woff2

Convert the editor and default theme fonts to WOFF2 format to save space.

2022-03-25 11:45:55 +02:00

NotoSansTeluguUI_Regular.woff2

Convert the editor and default theme fonts to WOFF2 format to save space.

2022-03-25 11:45:55 +02:00

NotoSansThaiUI_Bold.woff2

Convert the editor and default theme fonts to WOFF2 format to save space.

2022-03-25 11:45:55 +02:00

NotoSansThaiUI_Regular.woff2

Convert the editor and default theme fonts to WOFF2 format to save space.

2022-03-25 11:45:55 +02:00

OpenSans_SemiBold.woff2

Convert the editor and default theme fonts to WOFF2 format to save space.

2022-03-25 11:45:55 +02:00