2022-05-22 16:14:53 +02:00
|
|
|
@import url('Font.css');
|
|
|
|
|
|
|
|
|
|
Body {
|
|
|
|
|
Font-Family: 'Space Mono', monospace;
|
2023-03-21 12:41:19 +01:00
|
|
|
|
|
|
|
|
/* Fix Space Mono bug with literal "fi" sequences (they get fused) */
|
|
|
|
|
Font-Variant-Ligatures: None;
|
2022-05-22 16:14:53 +02:00
|
|
|
}
|
