/* GENERATED by conformance/regen-oracle.sh from geometry-proofs (Lean). DO NOT EDIT. */
:root{--clip-hexf:polygon(25% 0%, 75% 0%, 100% 50%, 75% 100%, 25% 100%, 0% 50%);--clip-hex:polygon(50% 0%, 100% 25%, 100% 75%, 50% 100%, 0% 75%, 0% 25%);--clip-hexf-core:polygon(30% 10%, 70% 10%, 90% 50%, 70% 90%, 30% 90%, 10% 50%);--clip-hex-core:polygon(50% 10%, 90% 30%, 90% 70%, 50% 90%, 10% 70%, 10% 30%);--hexf-aspect:1.1547005;--hex-col-pitch:0.75;--hex-row-pitch:0.8660254;--plane-clip-door-begin:polygon(25% 0%, 75% 0%, 100% 100%, 0% 100%);--plane-clip-door-end:polygon(100% 0%, 75% 100%, 25% 100%, 0% 0%);--shell-top-h:58px;--shell-side-w:230px;--shell-nav-item-h:40px;--shell-nav-pitch:42px;--shell-nav-pad-x:11px;--shell-tab-h:56px;--shell-hexbar-h:52px;--shell-touch-min:44px;--feed-col-w:700px;--feed-rail-w:350px;--feed-card-w:600px;--feed-avatar-col:68px;--feed-card-header-h:48px;--feed-card-body-h:76px;--feed-card-media-h:304px;--feed-card-action-h:48px;--feed-action-pitch:160px;--feed-action-w:44px;--feed-media-w:264px;--feed-media-h:264px;--feed-bar-h:48px;}
.makers-plane{--frontier-runway:2;--plane-window-h2:calc(2 * var(--colW) * 0.8660254 + var(--hex-wall));--plane-window-aperture:polygon(25% 0%, 75% 0%, 100% calc(var(--colW) * 0.8660254 / 2), 100% calc(100% - calc(var(--colW) * 0.8660254 / 2)), 75% 100%, 25% 100%, 0% calc(100% - calc(var(--colW) * 0.8660254 / 2)), 0% calc(var(--colW) * 0.8660254 / 2));--plane-door-rim-clip:polygon(calc(25% - calc(var(--hexf-aspect) * var(--hex-wall) / 2)) 0%, calc(75% + calc(var(--hexf-aspect) * var(--hex-wall) / 2)) 0%, calc(100% + calc(var(--hexf-aspect) * var(--hex-wall))) 50%, calc(75% + calc(var(--hexf-aspect) * var(--hex-wall) / 2)) 100%, calc(25% - calc(var(--hexf-aspect) * var(--hex-wall) / 2)) 100%, calc(0% - calc(var(--hexf-aspect) * var(--hex-wall))) 50%);--plane-door-cup-up:polygon(calc(0% - calc(var(--hexf-aspect) * var(--hex-wall) / 2)) calc(var(--colW) * 0.8660254 / 2), 0% calc(var(--colW) * 0.8660254 / 2), 25% calc(100% - var(--hex-wall)), 75% calc(100% - var(--hex-wall)), 100% calc(var(--colW) * 0.8660254 / 2), calc(100% + calc(var(--hexf-aspect) * var(--hex-wall) / 2)) calc(var(--colW) * 0.8660254 / 2), 75% 100%, 25% 100%);--plane-door-cup-down:polygon(25% 0%, 75% 0%, calc(100% + calc(var(--hexf-aspect) * var(--hex-wall) / 2)) calc(100% - calc(var(--colW) * 0.8660254 / 2)), 100% calc(100% - calc(var(--colW) * 0.8660254 / 2)), 75% var(--hex-wall), 25% var(--hex-wall), 0% calc(100% - calc(var(--colW) * 0.8660254 / 2)), calc(0% - calc(var(--hexf-aspect) * var(--hex-wall) / 2)) calc(100% - calc(var(--colW) * 0.8660254 / 2)));--plane-clip-card-top:polygon(25% 0%, 75% 0%, calc(100% - calc(var(--hex-wall) * 0.8660254 / 3)) 100%, calc(var(--hex-wall) * 0.8660254 / 3) 100%);--plane-clip-card-bottom:polygon(calc(100% - calc(var(--hex-wall) * 0.8660254 / 3)) 0%, 75% 100%, 25% 100%, calc(var(--hex-wall) * 0.8660254 / 3) 0%);--plane-void-face-top:polygon(calc(25% + calc(var(--hexf-aspect) / 2 * var(--void-rim-w))) var(--void-rim-w), calc(75% - calc(var(--hexf-aspect) / 2 * var(--void-rim-w))) var(--void-rim-w), calc(100% - calc(calc(var(--hex-wall) * 0.8660254 / 3) + 2 * 0.8660254 * var(--void-rim-w))) calc(100% - var(--void-rim-w)), calc(calc(var(--hex-wall) * 0.8660254 / 3) + 2 * 0.8660254 * var(--void-rim-w)) calc(100% - var(--void-rim-w)));--plane-void-face-bottom:polygon(calc(calc(var(--hex-wall) * 0.8660254 / 3) + 2 * 0.8660254 * var(--void-rim-w)) var(--void-rim-w), calc(100% - calc(calc(var(--hex-wall) * 0.8660254 / 3) + 2 * 0.8660254 * var(--void-rim-w))) var(--void-rim-w), calc(75% - calc(var(--hexf-aspect) / 2 * var(--void-rim-w))) calc(100% - var(--void-rim-w)), calc(25% + calc(var(--hexf-aspect) / 2 * var(--void-rim-w))) calc(100% - var(--void-rim-w)));}
[data-zoom-band="far"] .hexcell-edge{display:none}
[data-zoom-band="far"] .hexcell-core{clip-path:var(--clip-hexf)}
@media (pointer:coarse){
.hexcell-edge{display:none}
.hexcell-core{clip-path:var(--clip-hex)}
.hexf .hexcell-core{clip-path:var(--clip-hexf)}
[data-zoom-band="near"] .hexcell-edge{display:block}
[data-zoom-band="near"] .hexcell-core{clip-path:var(--clip-hexf-core)}
}