enricobuehler
b0ec759fad
The docs site's page title read "punktfunk docs". Fixed that and swept the rest of the tree for the same defect, capitalizing the brand wherever it is shown to a human and leaving it lowercase where it is a technical identifier (CLI/package names, `punktfunk://` scheme, PnP enumerator, TLS SNI, logcat tag, config paths, CMS tenant id). User-visible fixes: - docs-site: page title -> "Punktfunk Docs"; API reference title, meta description and the branded bar's aria-label; the BrandMark/Wordmark SVG accessible names (the web console already had these capitalized -- the docs site had drifted from it). - Android: six strings of live UI copy -- the local-network permission dialog (x2), the connect-screen error banner, and the no-controller explainer. - Apple: the "No Hosts" empty-state text and the fallback display name for a host that advertises no instance name. - Windows client: the `--discover` progress line. - KWin fake-input: the application name passed to `authenticate()` (the grant is cached per-exe, so the string is display-only). - THIRD-PARTY-NOTICES: fixed in both generators (about.hbs and gen-third-party-notices.py) and applied to the three checked-in outputs so they match what a regeneration now produces. Every changed line differs from the original only by letter case, so line lengths are unchanged and no formatter width rule is affected. `cargo fmt --all --check` passes.
26 lines
1.3 KiB
CSS
26 lines
1.3 KiB
CSS
/* Penner easing tokens — shared with the Punktfunk marketing site + @unom/ui.
|
|
@unom/ui's accordion/collapsible/material animations resolve these by name. */
|
|
@theme {
|
|
--ease-in-sine: cubic-bezier(0.47, 0, 0.745, 0.715);
|
|
--ease-out-sine: cubic-bezier(0.39, 0.575, 0.565, 1);
|
|
--ease-in-out-sine: cubic-bezier(0.445, 0.05, 0.55, 0.95);
|
|
--ease-in-quad: cubic-bezier(0.55, 0.085, 0.68, 0.53);
|
|
--ease-out-quad: cubic-bezier(0.25, 0.46, 0.45, 0.94);
|
|
--ease-in-out-quad: cubic-bezier(0.455, 0.03, 0.515, 0.955);
|
|
--ease-in-cubic: cubic-bezier(0.55, 0.055, 0.675, 0.19);
|
|
--ease-out-cubic: cubic-bezier(0.215, 0.61, 0.355, 1);
|
|
--ease-in-out-cubic: cubic-bezier(0.645, 0.045, 0.355, 1);
|
|
--ease-in-quart: cubic-bezier(0.895, 0.03, 0.685, 0.22);
|
|
--ease-out-quart: cubic-bezier(0.165, 0.84, 0.44, 1);
|
|
--ease-in-out-quart: cubic-bezier(0.77, 0, 0.175, 1);
|
|
--ease-in-quint: cubic-bezier(0.755, 0.05, 0.855, 0.06);
|
|
--ease-out-quint: cubic-bezier(0.23, 1, 0.32, 1);
|
|
--ease-in-out-quint: cubic-bezier(0.86, 0, 0.07, 1);
|
|
--ease-in-expo: cubic-bezier(0.95, 0.05, 0.795, 0.035);
|
|
--ease-out-expo: cubic-bezier(0.19, 1, 0.22, 1);
|
|
--ease-in-out-expo: cubic-bezier(1, 0, 0, 1);
|
|
--ease-in-circ: cubic-bezier(0.6, 0.04, 0.98, 0.335);
|
|
--ease-out-circ: cubic-bezier(0.075, 0.82, 0.165, 1);
|
|
--ease-in-out-circ: cubic-bezier(0.785, 0.135, 0.15, 0.86);
|
|
}
|