better links to workspaces

2026-07-31 14:29:37 +02:00
parent c6e9a3dd43
commit eab9d5c7b6
5 changed files with 41 additions and 6 deletions
@@ -2586,7 +2586,7 @@ dialog::backdrop {
 }

 .hide-preview-line-numbers .preview {
-  padding-left: 0;
+  padding-left: 24px;
 }

 .hide-preview-line-numbers .preview-source-line::before {
@@ -6178,6 +6178,25 @@ dialog::backdrop {
  text-decoration: none;
 }

+.resource-brand__trail {
+  display: flex;
+  align-items: center;
+  gap: 5px;
+  min-height: .8rem;
+  white-space: nowrap;
+}
+
+.resource-brand__separator {
+  color: var(--text-muted);
+  font-size: .68rem;
+  line-height: 1;
+  user-select: none;
+}
+
+.resource-brand__kind--current {
+  color: var(--text-heading);
+}
+
 .resource-brand__kind:hover,
 .resource-brand__kind:focus-visible,
 .resource-brand__logo:hover,