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", }} > 🔍