Remove font ligatures; upgrade fonts

master
Boris Kubiak 2020-11-21 10:29:35 +01:00
parent a525ac3c88
commit f8b75b572f
2 changed files with 8 additions and 7 deletions

View File

@ -11,6 +11,9 @@ body {
font: normal 14px Roboto, sans-serif; font: normal 14px Roboto, sans-serif;
background-color: #282a36; background-color: #282a36;
} }
* {
font-variant-ligatures: none;
}
#editor { #editor {
flex-grow: 1; flex-grow: 1;
@ -156,9 +159,8 @@ button:hover {
/* Fonts */ /* Fonts */
@font-face { @font-face {
font-family: 'JetBrainsMono'; font-family: 'JetBrainsMono';
src: url('https://cdn.jsdelivr.net/gh/JetBrains/JetBrainsMono/web/woff2/JetBrainsMono-Regular.woff2') format('woff2'), src: url('https://cdn.jsdelivr.net/gh/JetBrains/JetBrainsMono@2.210/fonts/webfonts/JetBrainsMono-Regular.woff2') format('woff2'),
url('https://cdn.jsdelivr.net/gh/JetBrains/JetBrainsMono/web/woff/JetBrainsMono-Regular.woff') format('woff'), url('https://cdn.jsdelivr.net/gh/JetBrains/JetBrainsMono@2.210/ttf/JetBrainsMonoNL-Regular.ttf') format('truetype');
url('https://cdn.jsdelivr.net/gh/JetBrains/JetBrainsMono/ttf/JetBrainsMono-Regular.ttf') format('truetype');
font-weight: 400; font-weight: 400;
font-style: normal; font-style: normal;
} }

7
sw.js
View File

@ -1,4 +1,4 @@
const PRECACHE = 'precache-20201021'; const PRECACHE = 'precache-20201121';
const RUNTIME = 'runtime'; const RUNTIME = 'runtime';
// A list of local resources we always want to be cached. // A list of local resources we always want to be cached.
@ -26,9 +26,8 @@ const PRECACHE_URLS = [
'npm/codemirror@5.58.1/addon/scroll/simplescrollbars.css,' + 'npm/codemirror@5.58.1/addon/scroll/simplescrollbars.css,' +
'npm/codemirror@5.58.1/theme/dracula.min.css,' + 'npm/codemirror@5.58.1/theme/dracula.min.css,' +
'npm/microtip@0.2.2/microtip.min.css', 'npm/microtip@0.2.2/microtip.min.css',
'https://cdn.jsdelivr.net/gh/JetBrains/JetBrainsMono/web/woff2/JetBrainsMono-Regular.woff2', 'https://cdn.jsdelivr.net/gh/JetBrains/JetBrainsMono@2.210/ttf/JetBrainsMonoNL-Regular.ttf',
'https://cdn.jsdelivr.net/gh/JetBrains/JetBrainsMono/web/woff/JetBrainsMono-Regular.woff', 'https://cdn.jsdelivr.net/gh/JetBrains/JetBrainsMono@2.210/fonts/webfonts/JetBrainsMono-Regular.woff2',
'https://cdn.jsdelivr.net/gh/JetBrains/JetBrainsMono/ttf/JetBrainsMono-Regular.ttf',
'https://fonts.gstatic.com/s/roboto/v20/KFOmCnqEu92Fr1Mu4mxK.woff2', 'https://fonts.gstatic.com/s/roboto/v20/KFOmCnqEu92Fr1Mu4mxK.woff2',
]; ];