diff options
Diffstat (limited to 'devtools/client/webide/themes/config-view.css')
-rw-r--r-- | devtools/client/webide/themes/config-view.css | 80 |
1 files changed, 80 insertions, 0 deletions
diff --git a/devtools/client/webide/themes/config-view.css b/devtools/client/webide/themes/config-view.css new file mode 100644 index 000000000..019e735df --- /dev/null +++ b/devtools/client/webide/themes/config-view.css @@ -0,0 +1,80 @@ +/* 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/. */ + +html, body { + background: white; +} + +.action { + display: inline; +} + +.action[hidden] { + display: none; +} + +#device-fields { + font-family: sans-serif; + padding-left: 6px; + width: 100%; + table-layout: auto; + margin-top: 110px; +} + +#custom-value-name { + width: 50%; +} + +header { + background-color: rgba(255, 255, 255, 0.8); + border-bottom: 1px solid #EEE; + position: fixed; + top: 0; + left: 0; + right: 0; + height: 90px; + padding: 10px 20px; +} + +#device-fields td { + background-color: #F9F9F9; + border-bottom: 1px solid #CCC; + border-right: 1px solid #FFF; + font-size: 0.75em; +} + +#device-fields td:first-child { + max-width: 250px; + min-width: 150px; +} + +#device-fields td.preference-name, #device-fields td.setting-name { + width: 50%; + min-width: 400px; + word-break: break-all; +} + +#device-fields button { + display: inline-block; + font-family: sans-serif; + font-size: 0.7rem; + white-space: nowrap; +} + +#device-fields tr.hide, #device-fields button.hide { + display: none; +} + +#device-fields .custom-input { + width: 130px; +} + +#search { + margin-bottom: 20px; + width: 100%; +} + +#search-bar { + width: 80%; +} |