Merge pull request #5033 from rvykydal/webui-critical-error-dialog-fonts

webui: use monospace font in critical error dialog
rhinstaller · Aug 11, 2023 · b2e2cd0 · b2e2cd0
2 parents 517ff40 + dd65a7f
commit b2e2cd0
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/ui/webui/src/components/Error.jsx b/ui/webui/src/components/Error.jsx
@@ -36,6 +36,8 @@ import { ExternalLinkAltIcon } from "@patternfly/react-icons";
 
 import { exitGui } from "../helpers/exit.js";
 
+import "./Error.scss";
+
 const _ = cockpit.gettext;
 
 export const bugzillaPrefiledReportURL = (productQueryData) => {

diff --git a/ui/webui/src/components/Error.scss b/ui/webui/src/components/Error.scss
@@ -0,0 +1,8 @@
+#critical-error-review-attached-log {
+  font-family: var(--pf-global--FontFamily--monospace);
+  font-size: var(--pf-global--FontSize--sm);
+}
+
+#critical-error-review-details {
+  font-family: var(--pf-global--FontFamily--monospace);
+}