diff options
Diffstat (limited to 'devtools/client/webide/themes/simulator.css')
-rw-r--r-- | devtools/client/webide/themes/simulator.css | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/devtools/client/webide/themes/simulator.css b/devtools/client/webide/themes/simulator.css new file mode 100644 index 000000000..036cfcdb4 --- /dev/null +++ b/devtools/client/webide/themes/simulator.css @@ -0,0 +1,41 @@ +/* This Source Code Form is subject to the terms of the Mozilla Public + * 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/. */ + +select:not(.custom) > option[value="custom"] { + display: none; +} + +select, input[type="text"] { + width: 13rem; +} + +input[name="name"] { + height: 1.8rem; +} + +input[type="number"] { + width: 6rem; +} + +input[type="text"], input[type="number"] { + padding-left: 0.2rem; +} + +li > label:hover { + background-color: transparent; +} + +ul { + padding-left: 0; +} + +.label { + width: 6rem; + padding: 0.2rem; + text-align: right; +} + +.hidden { + display: none; +} |