| @@ -1,11 +1,14 @@ | ||
| 1 | 1 | /* |
| 2 | 2 | * The notch — top-centre, floating, never reserving. |
| 3 | 3 | * |
| 4 | 4 | * The load-bearing rule in this file is that nothing here touches |
| 5 | - * `.os-area`. Reserving height would make the notch another hardcoded | |
| 6 | - * claimant on a work-area rectangle that already has several | |
| 7 | - * disagreeing answers. It floats, and it gets out of the way instead. | |
| 5 | + * `.os-area`. The desktop has one work-area rectangle now | |
| 6 | + * (`src/work-area/index.ts`, carved out of the area by the dock), | |
| 7 | + * and it stays useful only while few things carve it; a notch that | |
| 8 | + * reserved height would be a second claimant on the top edge for | |
| 9 | + * the sake of a pill a window may cover. It floats, and it gets out | |
| 10 | + * of the way instead. | |
| 8 | 11 | * |
| 9 | 12 | * Getting out of the way is also what the stacking order says: the |
| 10 | 13 | * notch is on the desk, under the window layer, so a window reaching |
| 11 | 14 | * the top edge covers the pill instead of the pill hanging over it. |
| @@ -159,9 +162,11 @@ | ||
| 159 | 162 | body.os-active.os-admin-bar-dynamic:has( #wpadminbar:hover ) .os-notch, |
| 160 | 163 | body.os-active.os-admin-bar-dynamic:has( #wpadminbar:focus-within ) .os-notch, |
| 161 | 164 | body.os-active.os-admin-bar-dynamic:has( .os-notch:hover ) .os-notch, |
| 162 | 165 | body.os-active.os-admin-bar-dynamic:has( .os-notch:focus-visible ) .os-notch { |
| 163 | - top: var( --wp-admin--admin-bar--height, 32px ); | |
| 166 | + /* The bar's measured edge (src/admin-bar-height.ts), Core's token | |
| 167 | + behind it — a host that made the bar taller moved this step too. */ | |
| 168 | + top: var( --os-admin-bar-height, var( --wp-admin--admin-bar--height, 32px ) ); | |
| 164 | 169 | } |
| 165 | 170 | |
| 166 | 171 | /* |
| 167 | 172 | * The hover bridge, and it is what makes the step stable. |
| @@ -182,6 +187,6 @@ | ||
| 182 | 187 | content: ""; |
| 183 | 188 | position: absolute; |
| 184 | 189 | inset-inline: 0; |
| 185 | 190 | inset-block-end: 100%; |
| 186 | - height: var( --wp-admin--admin-bar--height, 32px ); | |
| 191 | + height: var( --os-admin-bar-height, var( --wp-admin--admin-bar--height, 32px ) ); | |
| 187 | 192 | } |
