add some additional files for dev toolbox in Nightly 23 (possibly 22 as well)

[themes.git] / LCARStrek / browser / devtools / profiler.css

diff --git a/LCARStrek/browser/devtools/profiler.css b/LCARStrek/browser/devtools/profiler.css
new file mode 100644 (file)
index 0000000..30bc66b
--- /dev/null
+++ b/LCARStrek/browser/devtools/profiler.css
@@ -0,0 +1,29 @@
+/* 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/. */
+
+window {
+  padding: 0;
+}
+
+.devtools-toolbar {
+  border-bottom: none;
+}
+
+.profile-name {
+  font-size: 13px;
+  padding: 8px;
+}
+
+#profiles-list > li {
+  width: 180px;
+  cursor: pointer;
+}
+
+.splitview-nav-container button {
+  color: #FF9F00;
+  background-clip: padding-box;
+  border-bottom: 1px solid #A09090;
+  -moz-padding-end: 8px;
+  -moz-box-align: center;
+}