@jsenv/navi 0.29.115 → 0.29.116
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/dist/jsenv_navi.js +9 -0
- package/dist/jsenv_navi.js.map +2 -2
- package/package.json +1 -1
package/dist/jsenv_navi.js
CHANGED
|
@@ -56908,6 +56908,15 @@ const css$C = /* css */`
|
|
|
56908
56908
|
--popup-border-width: 1px;
|
|
56909
56909
|
--popup-border-color: var(--navi-popup-border-color);
|
|
56910
56910
|
|
|
56911
|
+
/* A popup is a page of its own, opened from a control: it is written on
|
|
56912
|
+
the page's line, as the number, so each text it holds keeps a line
|
|
56913
|
+
relative to its own size. Its element sits under the control that
|
|
56914
|
+
opens it (a Picker holds its popup children inside its root), and
|
|
56915
|
+
line-height inherits as computed: the control's line is a length
|
|
56916
|
+
(--navi-control-line-height), and inherited it would arrive as that
|
|
56917
|
+
control's pixels — a 12px caption on an 18px picker's 23px rows. */
|
|
56918
|
+
line-height: var(--navi-line-height);
|
|
56919
|
+
|
|
56911
56920
|
&.navi_popover {
|
|
56912
56921
|
--popover-border-radius: var(--popup-border-radius);
|
|
56913
56922
|
--popover-border-width: var(--popup-border-width);
|