Re: CSS for Zsh website?

[Lawrence Velázquez <larryv@xxxxxxx>]

On Thu, Mar 3, 2022, at 6:19 AM, Daniel Shahaf wrote:
> However, I wonder whether we're reinventing a wheel here.  There ought
> to be a manual out there whose CSS we can simply borrow (with
> attribution, subject to license, etc., of course).  E.g., skimming
> Python's docs' CSS, they seem to set max-width differently for wide and
> narrow displays.  Reusing someone else's CSS would mean we won't have
> to think about such issues.

+1

-- 
vq