From 7c106ae614d38b91a01685c06563a37b74a26ba1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20Benqu=C3=A9?= <mail@davidbenque.com>
Date: Mon, 19 Oct 2020 15:55:45 +0100
Subject: [PATCH] Use IBM Plex in toolbar

---
 customize.dist/src/less2/include/toolbar.less | 1 +
 1 file changed, 1 insertion(+)

diff --git a/customize.dist/src/less2/include/toolbar.less b/customize.dist/src/less2/include/toolbar.less
index 9adef38ce..a76b5a6e7 100644
--- a/customize.dist/src/less2/include/toolbar.less
+++ b/customize.dist/src/less2/include/toolbar.less
@@ -639,6 +639,7 @@
             .cp-toolbar-title-value {
                 border: 1px solid transparent;
                 padding: 0 5px;
+                font-family: "IBM Plex Mono"; // XXX using locally, add font to customise.dist/fonts/...
                 font-size: 30px;
                 vertical-align: middle;
                 white-space: nowrap;