Dactyloidae/devtools/client/webide/themes/runtimedetails.css
Roy Tam df89b48e30 Revert "Remove WebIDE devtools component."
This reverts commit 8c1500707f.

# Conflicts:
#	application/basilisk/components/customizableui/CustomizableUI.jsm
2019-10-18 09:09:39 +08:00

25 lines
444 B
CSS

/* 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;
}