xtralab 0.12.5 → 0.13.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
package/style/index.css CHANGED
@@ -1,5 +1,6 @@
1
1
  @import url('base.css');
2
2
  @import url('askAgent.css');
3
+ @import url('chrome.css');
3
4
  @import url('commandBar.css');
4
5
  @import url('editorBreadcrumbs.css');
5
6
  @import url('git.css');
package/style/index.js CHANGED
@@ -1,5 +1,6 @@
1
1
  import './base.css';
2
2
  import './askAgent.css';
3
+ import './chrome.css';
3
4
  import './commandBar.css';
4
5
  import './editorBreadcrumbs.css';
5
6
  import './git.css';
@@ -349,9 +349,11 @@
349
349
  cursor: not-allowed;
350
350
  }
351
351
 
352
+ /* border-color0: chrome.css remaps color1 onto color2 in light themes, so
353
+ a color1 hover would be identical to the resting color2 border there. */
352
354
  .jp-xtralab-Launcher-agent:hover:not(:disabled) {
353
355
  background-color: var(--jp-layout-color2);
354
- border-color: var(--jp-border-color1);
356
+ border-color: var(--jp-border-color0);
355
357
  }
356
358
 
357
359
  .jp-xtralab-Launcher-agent-icon {
@@ -438,9 +440,10 @@
438
440
  font-size: var(--jp-ui-font-size0);
439
441
  }
440
442
 
443
+ /* border-color0 for the same light-theme reason as the agent cards. */
441
444
  .jp-xtralab-Launcher-mcp-copy:hover {
442
445
  background-color: var(--jp-layout-color2);
443
- border-color: var(--jp-border-color1);
446
+ border-color: var(--jp-border-color0);
444
447
  }
445
448
 
446
449
  .jp-xtralab-Launcher-mcp-copy:focus-visible {
package/style/omnibox.css CHANGED
@@ -30,8 +30,9 @@
30
30
  /* Drop just below the top bar so it reads as a command-center dropdown. */
31
31
  margin-top: calc(var(--jp-private-menubar-height, 28px) + 4px);
32
32
  background: var(--jp-layout-color1);
33
- border: var(--jp-border-width) solid var(--jp-border-color1);
34
- border-radius: 4px;
33
+ border: var(--jp-border-width) solid
34
+ color-mix(in srgb, var(--jp-border-color1) 55%, transparent);
35
+ border-radius: 10px;
35
36
  box-shadow: var(--jp-elevation-z6);
36
37
  }
37
38
 
@@ -50,13 +51,17 @@
50
51
  color: var(--jp-ui-font-color3);
51
52
  }
52
53
 
54
+ /* Side gutters float the active-row highlight inside the panel edge,
55
+ matching the menu/palette treatment; section headers and items shift
56
+ together so their left alignment is preserved. */
53
57
  .jp-xtralab-Omnibox-results {
54
- padding: 4px 0;
58
+ padding: 5px 6px;
55
59
  overflow-y: auto;
56
60
  }
57
61
 
58
62
  .jp-xtralab-Omnibox-sectionHeader {
59
- padding: 6px 14px 2px;
63
+ /* 8px + the results container's 6px gutter = the item rows' 14px inset. */
64
+ padding: 6px 8px 2px;
60
65
  font-size: var(--jp-ui-font-size0);
61
66
  font-weight: 600;
62
67
  color: var(--jp-ui-font-color2);
@@ -68,14 +73,18 @@
68
73
  display: flex;
69
74
  gap: 8px;
70
75
  align-items: center;
71
- padding: 5px 14px;
76
+ padding: 5px 8px;
72
77
  font-size: var(--jp-ui-font-size1);
73
78
  color: var(--jp-ui-font-color1);
74
79
  cursor: pointer;
80
+ border-radius: 6px;
81
+ transition: background-color 120ms ease-out;
75
82
  }
76
83
 
84
+ /* Translucent foreground wash (not an opaque layout color) so the
85
+ highlight reads correctly on the frosted panel background. */
77
86
  .jp-xtralab-Omnibox-item.jp-mod-active {
78
- background: var(--jp-layout-color2);
87
+ background: color-mix(in srgb, var(--jp-ui-font-color1) 8%, transparent);
79
88
  }
80
89
 
81
90
  .jp-xtralab-Omnibox-itemIcon {
@@ -114,7 +123,8 @@
114
123
  }
115
124
 
116
125
  .jp-xtralab-Omnibox-empty {
117
- padding: 14px;
126
+ /* 8px + the results container's 6px gutter = the item rows' 14px inset. */
127
+ padding: 14px 8px;
118
128
  font-size: var(--jp-ui-font-size1);
119
129
  color: var(--jp-ui-font-color2);
120
130
  }
package/style/tabs.css CHANGED
@@ -26,6 +26,15 @@
26
26
  width: auto;
27
27
  }
28
28
 
29
+ /* Breathing room between the label and the close icon. Fit-content tabs put
30
+ the icon flush against the label's last glyph (stock's fixed-width tabs
31
+ hide this with slack space), and the icon-hover chip in chrome.css extends
32
+ 2px beyond the icon box into this gap. */
33
+ .lm-DockPanel-tabBar .lm-TabBar-tab .lm-TabBar-tabCloseIcon,
34
+ .lm-TabPanel-tabBar .lm-TabBar-tab .lm-TabBar-tabCloseIcon {
35
+ margin-left: 4px;
36
+ }
37
+
29
38
  .lm-DockPanel-tabBar .lm-TabBar-content {
30
39
  flex: 0 1 auto;
31
40
  min-width: 0;
@@ -51,9 +51,11 @@
51
51
  cursor: pointer;
52
52
  }
53
53
 
54
+ /* border-color0: chrome.css remaps color1 onto color2 in light themes, so
55
+ a color1 hover would be identical to the resting color2 border there. */
54
56
  .jp-xtralab-Walkthrough-jump:hover {
55
57
  background-color: var(--jp-layout-color2);
56
- border-color: var(--jp-border-color1);
58
+ border-color: var(--jp-border-color0);
57
59
  }
58
60
 
59
61
  .jp-xtralab-Walkthrough-jump:focus-visible {