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