devtools need devtools/themes :(
[themes.git] / LCARStrek / browser / devtools / common.css
index e1c389e961b5f279b93bb91edb54916db02ef0c5..07c7e20d89a3792d0bd867ca3da7ddf0218d32e8 100644 (file)
@@ -14,10 +14,16 @@ 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);
 }
 
 /* Splitters */
@@ -275,6 +281,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 === */