X-Git-Url: https://git-public.kairo.at/?p=themes.git;a=blobdiff_plain;f=LCARStrek%2Fbrowser%2Fdevtools%2Fcommon.css;fp=LCARStrek%2Fbrowser%2Fdevtools%2Fcommon.css;h=07c7e20d89a3792d0bd867ca3da7ddf0218d32e8;hp=cd3e746f3fad05111952d16a28e194d4c22b71d7;hb=d74db93877c7a404babddcf7b0523fa2b1f6f2bf;hpb=a5cb6e534c9872ab3dc646ab44fa35b61775537d

diff --git a/LCARStrek/browser/devtools/common.css b/LCARStrek/browser/devtools/common.css
index cd3e746f..07c7e20d 100644
--- a/LCARStrek/browser/devtools/common.css
+++ b/LCARStrek/browser/devtools/common.css
@@ -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 */
@@ -286,5 +292,36 @@ notification {
   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 === */