308
edits
(Work around a font shaping bug in Firefox with exactly 10 zero-width spaces (??)) |
(like wikipedia https://en.wikipedia.org/wiki/Whitespace_character) |
||
(5 intermediate revisions by 3 users not shown) | |||
Line 262: | Line 262: | ||
|{{derani|}}||DERANI LETTER RAIRUA | |{{derani|}}||DERANI LETTER RAIRUA | ||
|{{derani|◌}}||DERANI COMBINING LOW GLOTTAL TONE | |{{derani|◌}}||DERANI COMBINING LOW GLOTTAL TONE | ||
|{{derani|}} | |<span style="background-color:teal">{{derani|}}</span>||DERANI COMPATIBILITY NON-BREAKING SPACE | ||
|DERANI COMPATIBILITY NON-BREAKING SPACE | |||
|- | |- | ||
!C | !C | ||
Line 300: | Line 299: | ||
*'''(#3)''' Open Discord, then open the custom CSS dialog (in the case of Better Discord, go to ⚙ ⊳ Custom CSS), and there copy-paste the following: | *'''(#3)''' Open Discord, then open the custom CSS dialog (in the case of Better Discord, go to ⚙ ⊳ Custom CSS), and there copy-paste the following: | ||
<pre> | <pre> | ||
@font-face { | |||
font-family: 'Derani'; | |||
font-weight: 600; | |||
src: local('Derani'); | |||
} | |||
* { | * { | ||
--font-primary: "gg sans", "Noto Sans", "Helvetica Neue", Helvetica, Arial, sans-serif, 'Derani' !important; | |||
--font-display: "gg sans", "Noto Sans", "Helvetica Neue", Helvetica, Arial, sans-serif, 'Derani' !important; | |||
--font-headline: "ABC Ginto Nord","Noto Sans","Helvetica Neue",Helvetica,Arial,sans-serif, 'Derani' !important; | |||
--font-code: Consolas,"Andale Mono WT","Andale Mono","Lucida Console","Lucida Sans Typewriter","DejaVu Sans Mono","Bitstream Vera Sans Mono","Liberation Mono","Nimbus Mono L",Monaco,"Courier New",Courier,monospace,'Derani' !important | |||
} | } | ||
[id^="message-content-"], [class^="username-"] { | [id^="message-content-"], [class^="username-"] { | ||
line-height: normal; | |||
} | } | ||
</pre> | </pre> | ||
Line 312: | Line 319: | ||
*'''(#4)''' Kill Discord, then restart it (doing Ctrl+R is apparently not enough; merely closing the application may not necessarily be sufficient). | *'''(#4)''' Kill Discord, then restart it (doing Ctrl+R is apparently not enough; merely closing the application may not necessarily be sufficient). | ||
==External links== | ==External links== | ||
*[https://toaq.net/refgram/orthography/#derani Refgram: Derani] | *[https://toaq.net/refgram/orthography/#derani Refgram: Derani] |
edits