Specify fallback fonts if Segue UI or Consolas don't exist

cbiesinger · cbiesinger · commit 6d1e6841ec96 · 2019-05-03T18:48:02.000-05:00
Such as on Linux.
diff --git a/extensions-inprogress/struct-viz/index.html b/extensions-inprogress/struct-viz/index.html
@@ -91,6 +91,6 @@
 </head>
 <body>
     Type: <input type="text" id="type" value="edgehtml!CFancyFormat" style="width:30em;"/> <button>Describe</button>
-    <div id="result" style="font-family:Consolas; font-size:9pt; white-space:nowrap;"></div>
+    <div id="result" style="font-family:Consolas, monospace; font-size:9pt; white-space:nowrap;"></div>
 </body>
-</html>
+</html>
diff --git a/extensions/dbgobject-inspector/dbgobject-inspector.css b/extensions/dbgobject-inspector/dbgobject-inspector.css
@@ -13,7 +13,7 @@
 .dbgobject-inspector > .drop-down {
     display:inline;
     font-size:1rem;
-    font-family:Segoe UI;
+    font-family:Segoe UI, system-ui, sans-serif;
     position:absolute;
     z-index:20;
     margin-top:15px;
@@ -76,4 +76,4 @@
 
 .dbgobject-inspector:not(.active) > .drop-down {
     display:none;
-}
+}
diff --git a/extensions/jsdbg/loading-indicator/loading-indicator.css b/extensions/jsdbg/loading-indicator/loading-indicator.css
@@ -58,8 +58,8 @@
 }
 
 code {
-    font-family:Consolas;
+    font-family:Consolas, monospace;
 }
 
 /* Z-ordering */
-#jsdbg-loading-indicator { z-index:200; }
+#jsdbg-loading-indicator { z-index:200; }
diff --git a/extensions/jsdbg/styles/common.css b/extensions/jsdbg/styles/common.css
@@ -7,7 +7,7 @@
   --------------------------------------------------------------*/
 
 :root {
-    font-family:Segoe UI;
+    font-family:Segoe UI, system-ui, sans-serif;
     font-size:10pt;
 }
 
@@ -75,4 +75,4 @@ button.small-button.light:hover {
 
 .popup-message.error::before {
     border-bottom-color:#f44;
-}
+}
diff --git a/extensions/tree-drawing/talltree.css b/extensions/tree-drawing/talltree.css
@@ -13,7 +13,7 @@
 }
 
 .tall-node-container .node {
-    font-family:Consolas;
+    font-family:Consolas, monospace;
     font-size:9pt;
     margin-left:2em;
     position:relative;
@@ -56,4 +56,4 @@
 
 .tall-node-container .node > :first-child:hover {
     background:#eee;
-}
+}
diff --git a/extensions/tree-inspector/field-selector/field-selector.css b/extensions/tree-inspector/field-selector/field-selector.css
@@ -48,7 +48,7 @@
 
 .field-selection .type-name::before {
     content:"v";
-    font-family:Consolas;
+    font-family:Consolas, monospace;
     margin-right:5px;
 }
 
@@ -71,4 +71,4 @@
 input.small-input {
     font-size:8pt;
     margin-right:0.3em;
-}
+}

Original file line number	Diff line number	Diff line change
`@@ -58,8 +58,8 @@`
`58`	`58`	`}`
`59`	`59`
`60`	`60`	`code {`
`61`		`- font-family:Consolas;`
	`61`	`+ font-family:Consolas, monospace;`
`62`	`62`	`}`
`63`	`63`
`64`	`64`	`/* Z-ordering */`
`65`		`-#jsdbg-loading-indicator { z-index:200; }`
	`65`	`+#jsdbg-loading-indicator { z-index:200; }`