54d2a02f7e
footer: Minor adjustments.
2023-09-27 13:07:57 -07:00
e9c1d72771
stylelint: Fix media-feature-range-notation.
...
Signed-off-by: Anders Kaseorg <anders@zulip.com>
2023-04-04 10:54:01 -07:00
d274583d8f
styles: Use modern color notation.
...
postcss-preset-env transpiles this back as necessary. (It does a
better job than we did, in fact: we had several four-argument hsl()
calls that should have been hsla().)
Signed-off-by: Anders Kaseorg <anders@zulip.com>
2023-03-24 17:26:55 -07:00
5cdf38b1f7
styles: Use standard CSS nesting syntax.
...
CSS nesting is being standardized with the syntactic restriction that
the nested selector cannot start with an identifier. This was
necessary to allow the syntax to be parsed without lookahead.
https://webkit.org/blog/13813/try-css-nesting-today-in-safari-technology-preview/
https://www.w3.org/TR/css-nesting-1/#syntax
The postcss-nesting plugin used by postcss-preset-env enforces this
restriction.
Signed-off-by: Anders Kaseorg <anders@zulip.com>
2023-03-20 11:26:30 -07:00
dbe930394f
footer: Integrate newly designed footer.
...
This footer was designed and mostly written by @terpimost.
This adds a new design of the footer for both corporate and not
corporate enabled pages.
2023-03-10 17:34:15 -08:00
Aman Agrawal
Anders Kaseorg