From ef2b2dfd2b4d66b24b40b6db67fbf957110c0f24 Mon Sep 17 00:00:00 2001 From: Alberto Mengali Date: Tue, 23 Jul 2024 08:40:19 +0200 Subject: [PATCH] remove icon and use :empty --- frontend/editor.css | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/frontend/editor.css b/frontend/editor.css index eb6e97e41a..4a3849125c 100644 --- a/frontend/editor.css +++ b/frontend/editor.css @@ -3001,7 +3001,7 @@ pluto-logs-container pluto-progress-name { font-variant-ligatures: none; padding: 0 0.4rem 0 0.1rem; } -pluto-logs-container pluto-progress-name.no_name { +pluto-logs-container pluto-progress-name:empty { padding: 0; } @@ -3106,9 +3106,6 @@ pluto-log-dot-positioner.Debug { --accent-color: var(--pluto-logs-debug-accent-color); --icon-image: url("https://cdn.jsdelivr.net/gh/ionic-team/ionicons@5.5.1/src/svg/information-circle-outline.svg"); } -pluto-log-dot-positioner.Progress { - --icon-image: url("https://cdn.jsdelivr.net/gh/ionic-team/ionicons@5.5.1/src/svg/sync-outline.svg"); -} pluto-log-dot-positioner.Stdout { --icon-image: url("https://cdn.jsdelivr.net/gh/ionic-team/ionicons@5.5.1/src/svg/terminal-outline.svg"); }