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
--- 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 {