diff options
Diffstat (limited to 'devtools/client/webide/themes/runtimedetails.css')
-rw-r--r-- | devtools/client/webide/themes/runtimedetails.css | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/devtools/client/webide/themes/runtimedetails.css b/devtools/client/webide/themes/runtimedetails.css new file mode 100644 index 000000000..91ced5bff --- /dev/null +++ b/devtools/client/webide/themes/runtimedetails.css @@ -0,0 +1,25 @@ +/* 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; +} + +#devicePrivileges { + font-family: monospace; + padding-left: 6px; +} + +#devtools-check > a { + color: #4C9ED9; + cursor: pointer; +} + +.action { + display: inline; +} + +.action[hidden] { + display: none; +} |