Re: CSS for Zsh website?

[Daniel Shahaf <d.s@xxxxxxxxxxxxxxxxxx>]

> >What URL specifically do you mean?  "The user guide" could be referring
> >to either of several documents:
> >
> >https://zsh.sourceforge.io/Doc/
> >https://zsh.sourceforge.io/FAQ/
> >https://zsh.sourceforge.io/Guide/
> >https://zsh.sourceforge.io/Intro/
> 
> I was thinking of /Guide. However, I think the CSS is general enough
> to work across the whole site.
> 
> >However, I wonder whether we're reinventing a wheel here. 
> 
> Quite probably. I got a minimalist vibe from the existing site, so I
> tried to match that with minimalist CSS!
> 
> If there's appetite for fanciness, then adapting fancy CSS from
> somewhere else might work. My CSS for example will not give you fancy
> code boxes.
⋮
> If there's consensus that we don't want to use my minimal CSS, and
> that we do want to adapt fancy CSS from a compatibly licensed project

I think that's a false dichotomy.  "Not reinvent the wheel" and "Prefer
fancy to minimal" are not synonymous; rather, they are orthogonal.  That
is: it's entirely possible to design fancy styling from scratch, as it
is to reuse someone else's minimal styling.

After all, our styling needs aren't unique.  If anything, I'm surprised
the answer isn't just "Pass the --foo option to texi2html(1)".

> I'm happy to do a bit of research for something suitable.

Appreciated!  Let's see what consensus emerges on what kind of style is
desirable.

Cheers,

Daniel