[Mailman-Users] Setting the FONT globally for the mailman GUI?

Ivan Van Laningham ivanlan at pauahtun.org
Wed Apr 25 13:02:30 CEST 2007

Hi All--

On 4/25/07, Stephen J. Turnbull <stephen at xemacs.org> wrote:
> But the header I'm talking about is an *HTTP* header.  It seems
> plausible that it requires only *one* change to the routine that
> marshals the headers or to the httpd configuration, giving a mildly
> enormous increase in flexibility.  And it would be a very safe change
> for the distribution: simply provide an empty style sheet as default.
> IIRC that HTTP header has a rather low precedence in the cascade.

But the <head> element is not being produced in one place.  It's
inside the templates and it's hard-coded in the Python code.  It would
indeed be both flexible and cool to plug in the link header and
provide an empty css file, but I'm pretty sure you can't do it at a
single place.  It's possible I misunderstand, of course.

> Being suboptimal doesn't prevent it from being pretty useful.<wink>

<g>  You could say that about a lot of things.

>  > As for the CSS link header, IE does respect such links, why should
>  > it not?
> Experience shows that Microsoft products don't always conform to
> standards, and I can't say that in this case IE does from my own
> knowledge, that's all.  My point is simply that the browsers whose
> behavior needs tweaking should be checked before going to the effort
> of making that change.

All modern major generals--er, browsers obey CSS; there are some
differences in the details, so you end up specifying some things twice
in different ways.  And providing an empty style sheet to start with
means that tweaking is the province of the Mailman-modifier, not the
Mailman-developer. ;-)

Ivan Van Laningham
God N Locomotive Works
Army Signal Corps:  Cu Chi, Class of '70
Author:  Teach Yourself Python in 24 Hours

More information about the Mailman-Users mailing list