Add Cascadia Code as a webfont for fallback

This is only for Android (hopefully) which has a system font that doesn't have standard width box drawing characters. 

Other systems should still use their defaults.
This commit is contained in:
Phil Scott
2021-05-24 09:25:58 -04:00
committed by Patrik Svensson
parent bfdaef95d6
commit 0d2a75aeee
5 changed files with 14 additions and 4 deletions

View File

@@ -33485,6 +33485,12 @@ code.language-markup .token.script .token.keyword {
color: #76d9e6;
}
@font-face {
font-family: 'WebCascadiaMonoPL';
src: url('CascadiaMonoPL.woff2')
}
/* asciicast-player styling */
.asciinema-player-wrapper {
@@ -33647,7 +33653,7 @@ code.language-markup .token.script .token.keyword {
border-style: solid;
cursor: text;
border-width: 0.5em;
font-family: 'Cascadia Code PL', 'Cascadia Code', Consolas, Menlo, 'Bitstream Vera Sans Mono', monospace;
font-family: 'Cascadia Mono PL', 'Cascadia Mono', 'Cascadia Code', Menlo, Consolas, Liberation Mono, Lucida Console, 'WebCascadiaMonoPL', monospace;
line-height: 1;
}