fourth part of syncing LCARStrek with Firefox 41 windows theme changes

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

diff --git a/LCARStrek/browser/devtools/common.css b/LCARStrek/browser/devtools/common.css
index e1c389e961b5f279b93bb91edb54916db02ef0c5..7c9a2f4929876802cc29d1096eac15073d369c3b 100644 (file)
--- a/LCARStrek/browser/devtools/common.css
+++ b/LCARStrek/browser/devtools/common.css
@@ -14,10 +14,21 @@ notification {
 
 /* End LCARStrek toolbox rules */
 
+:root {
+  font: 11px "Liberation Sans",Arial,Tahoma,Helvetica,sans-serif;
+  --monospace-font-family: "Liberation Mono", Consolas, "Courier New", monospace;
+  --monospace-font-size: 12px;
+}
 
 /* Font for code */
 .devtools-monospace {
-  font: 12px "Liberation Mono", Consolas, "Courier New", monospace;
+  font-family: var(--monospace-font-family);
+  font-size: var(--monospace-font-size);
+}
+
+/* Bottom-docked toolbox minimize transition */
+.devtools-toolbox-bottom-iframe {
+  transition: margin-bottom .1s;
 }
 
 /* Splitters */
@@ -37,6 +48,11 @@ notification {
   cursor: e-resize;
 }
 
+.devtools-horizontal-splitter.disabled,
+.devtools-side-splitter.disabled {
+  pointer-events: none;
+}
+
 /* In-tools sidebar */
 
 .devtools-toolbox-side-iframe {
@@ -275,6 +291,47 @@ notification {
   height: 120px;
   background-color: transparent;
   border: none;
+  padding: 0;
+}
+
+#color-value {
+  color: #FF9F00;
+}
+
+#color-value.highlight {
+  color: #FFCF00;
+}
+
+/* Links to source code, like displaying `myfile.js:45` */
+
+.devtools-source-link {
+  font-family: var(--monospace-font-family);
+  color: var(--theme-text-blue);
+  cursor: pointer;
+  white-space: nowrap;
+  display: flex;
+  align-self: flex-start;
+  text-decoration: none;
+  font-size: 11px;
+  width: 12em; /* probably should be changed for each tool */
+}
+
+.devtools-source-link:hover {
+  text-decoration: underline;
+}
+
+.devtools-source-link > .filename {
+  text-overflow: ellipsis;
+  text-align: end;
+  overflow: hidden;
+  margin: 2px 0px;
+  cursor: pointer;
+}
+
+.devtools-source-link > .line-number {
+  flex: none;
+  margin: 2px 0px;
+  cursor: pointer;
 }
 
 /* === END common.inc.css === */