From 520051f3319b5ba4e811d43b5ce3554761653df3 Mon Sep 17 00:00:00 2001 From: metamuffin Date: Tue, 3 Oct 2023 14:55:26 +0200 Subject: more logging and fixes --- web/js-player.css | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'web/js-player.css') diff --git a/web/js-player.css b/web/js-player.css index 3bb8613..6d1bd71 100644 --- a/web/js-player.css +++ b/web/js-player.css @@ -93,8 +93,9 @@ left: 0px; } .jsp .jsh-log-line { - font-size: 1em; - height: 1.2em; + padding: 0.15em; + margin: 0px; + font-size: large; animation-name: appear; animation-timing-function: linear; animation-duration: 0.5s; -- cgit v1.2.3-70-g09d2