From b2e1832f2c11ae7456246f787e7782ba5711f64a Mon Sep 17 00:00:00 2001 From: ulrich Date: Sat, 16 Nov 2024 14:59:50 +0000 Subject: [PATCH] channels.conf angepasst --- web/stile.css | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/web/stile.css b/web/stile.css index 1485def..3c70fa9 100644 --- a/web/stile.css +++ b/web/stile.css @@ -87,7 +87,7 @@ padding-top: 0.5em; } -#cmd { +.cmd { font-family: 'Ubuntu Mono', monospace; font-size: medium; } -- Gitblit v1.9.3