From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 12 Jun 2022 22:37:46 +0000 (+0100)
Subject: Change monospace font to DejaVu Sans
X-Git-Tag: otter-1.2.0~35
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=5a20c0181b605aed14fd5f22043726cd99085822;p=otter.git

Change monospace font to DejaVu Sans

A user reported that the specified font wasn't available and they got
somthing that misrendered in the clock.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---

diff --git a/src/ui.rs b/src/ui.rs
index 017461f5..b8c79c62 100644
--- a/src/ui.rs
+++ b/src/ui.rs
@@ -7,7 +7,7 @@ use crate::prelude::*;
 pub const HELD_SURROUND_COLOUR: &str = "black";
 
 const MONOSPACE: HtmlLit = Html::lit(
-  r#"font-family="Latin Modern Mono, monospace" font-weight="700""#);
+  r#"font-family="DejaVu Sans Mono, monospace" font-weight="700""#);
 
 const USVG_DEFAULT_ARGS_TEXT: &str = include_str!("USVG_DEFAULT_ARGS.txt");