diff options
| author | Moonchild <mcwerewolf@gmail.com> | 2018-03-02 10:32:45 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-02 10:32:45 +0100 |
| commit | e272829137195b46612b7664c9416364089f7baa (patch) | |
| tree | 20b543048260952a2c4ac8bb4cb22aaaa684bd84 /devtools/client/themes/common.css | |
| parent | ba2c2e5301bb2d993984c62cdf2fd07b361e6bca (diff) | |
| parent | c8355b22c047c9737e32f096b816edbb8b0fa181 (diff) | |
| download | UXP-e272829137195b46612b7664c9416364089f7baa.tar UXP-e272829137195b46612b7664c9416364089f7baa.tar.gz UXP-e272829137195b46612b7664c9416364089f7baa.tar.lz UXP-e272829137195b46612b7664c9416364089f7baa.tar.xz UXP-e272829137195b46612b7664c9416364089f7baa.zip | |
Merge pull request #34 from janekptacijarabaci/devtools_import-from-moebius_1
Port across devtools enhancements
Diffstat (limited to 'devtools/client/themes/common.css')
| -rw-r--r-- | devtools/client/themes/common.css | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/devtools/client/themes/common.css b/devtools/client/themes/common.css index 3d713ada7..133770150 100644 --- a/devtools/client/themes/common.css +++ b/devtools/client/themes/common.css @@ -2,7 +2,9 @@ * License, v. 2.0. If a copy of the MPL was not distributed with this * file, You can obtain one at http://mozilla.org/MPL/2.0/. */ + @import url("resource://devtools/client/themes/splitters.css"); +@namespace html url("http://www.w3.org/1999/xhtml"); :root { font: message-box; @@ -33,6 +35,10 @@ font-size: 80%; } +/* Override wrong system font from forms.css */ +html|button, html|select { + font: message-box; +} /* Autocomplete Popup */ |