From 58cee0ebda883fa085146e8b439556ac06991799 Mon Sep 17 00:00:00 2001 From: Dmitry Sidorov Date: Tue, 19 Aug 2025 00:57:51 +0200 Subject: [PATCH] [UI] Improve pipeline colours for dark and cat modes --- src/app/ExplorerContent.js | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/src/app/ExplorerContent.js b/src/app/ExplorerContent.js index 7b0976b..c6d94ca 100644 --- a/src/app/ExplorerContent.js +++ b/src/app/ExplorerContent.js @@ -819,6 +819,7 @@ export default function ExplorerContent() { padding: "2px 4px", borderRadius: "4px", fontWeight: "bold", + fontSize: "1.1em", }} > Compilation pipeline: @@ -829,6 +830,8 @@ export default function ExplorerContent() { padding: "2px 4px", borderRadius: "4px", fontWeight: "bold", + fontSize: "1.1em", + color: "#000", }} > {getLabelForIR(irWin.selectedIR)} @@ -842,8 +845,8 @@ export default function ExplorerContent() { → @@ -861,13 +864,15 @@ export default function ExplorerContent() { display: "flex", flexDirection: "column", lineHeight: "1.2em", + fontSize: "1.1em", + color: "#000", }} > {p.tool !== "user-tool" && {p.tool}} {preview} @@ -885,6 +890,7 @@ export default function ExplorerContent() { marginLeft: 4, padding: "2px 6px", cursor: "pointer", + fontSize: "1.1em", }} > 🔍