font sizes was set to 80% because they appear larger on some linux distros draft
authorKimberly Pennington <email@kimberly.codes>
Mon, 12 Dec 2016 10:49:33 -0700
changeset 448720 ac64cc2fc538
parent 448314 dde862abe4e9
child 539354 ab14451cbc96
push id38411
push userbmo:email@kimberly.codes
push dateMon, 12 Dec 2016 17:54:37 +0000
milestone53.0a1
font sizes was set to 80% because they appear larger on some linux distros set font size for linux to 11px instead of 100% MozReview-Commit-ID: 4a7tY4YEHgg
devtools/client/themes/common.css
--- a/devtools/client/themes/common.css
+++ b/devtools/client/themes/common.css
@@ -26,16 +26,20 @@
 :root.theme-firebug {
   --proportional-font-family: Lucida Grande, Tahoma, sans-serif;
 }
 
 .devtools-monospace {
   font-family: var(--monospace-font-family);
 }
 
+:root[platform="linux"] .devtools-monospace {
+  font-size: 11px;
+}
+
 /* Override wrong system font from forms.css */
 html|button, html|select {
   font: message-box;
 }
 
 /* Autocomplete Popup */
 
 .devtools-autocomplete-popup {