From 5a20c0181b605aed14fd5f22043726cd99085822 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 12 Jun 2022 23:37:46 +0100
Subject: [PATCH] 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>
---
 src/ui.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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");
 
-- 
2.30.2