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

2007-04-25 Thread Stephen J. Turnbull
Dragon writes: Yes, it could be done now, but it requires changes to the mailman code that generates the page. 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,

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

2007-04-25 Thread Brad Knowles
At 10:53 PM -0700 4/24/07, Dragon wrote: But, I think that in the long run, converting all HTML output of mailman to a template based system with the ability to fully customize the interface is the direction it should go. I think that Barry (and pretty much everyone else related to the

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

2007-04-25 Thread Ivan Van Laningham
Hi All-- On 4/25/07, Stephen J. Turnbull [EMAIL PROTECTED] 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

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

2007-04-25 Thread Bryan Carbonnell
On 4/24/07, Brad Knowles [EMAIL PROTECTED] wrote: At 1:30 PM -0700 4/24/07, Dragon wrote: Actually no, those are not the best way to do this IMO. If ALL of the web pages were template-based, it would be a simple matter of defining the CSS you want in a CSS file and adding it to the page

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

2007-04-25 Thread Christopher X. Candreva
On Wed, 25 Apr 2007, Brad Knowles wrote: project) would agree. However, who's actually going to write the code to do this? When is that going to be incorporated into the mainstream codebase, and for which version? Is there a standard template library for Python, ala Template::Toolkit for

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

2007-04-25 Thread Ivan Van Laningham
Hi All-- I did a quick experiment. Here's the head I came up with. Note that what I had posted earlier, /Javascript/mailman.css, will not work, and neither /mailman.css nor mailman.css will work. However, it would be easy to make the style sheet dependent on the list name also: instead of

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

2007-04-25 Thread Stephen J. Turnbull
Ivan Van Laningham writes: But the head element is not being produced in one place. I'm not talking about the HEAD element. Before the HTML, the gods have placed the HTTP headers. It seems reasonably likely that there is one place where an appropriate HTTP header could be inserted in all

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

2007-04-25 Thread Dragon
Christopher X. Candreva sent the message below at 06:26 4/25/2007: On Wed, 25 Apr 2007, Brad Knowles wrote: project) would agree. However, who's actually going to write the code to do this? When is that going to be incorporated into the mainstream codebase, and for which version? Is

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

2007-04-25 Thread Barry Warsaw
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On Apr 25, 2007, at 11:02 AM, Dragon wrote: Christopher X. Candreva sent the message below at 06:26 4/25/2007: On Wed, 25 Apr 2007, Brad Knowles wrote: project) would agree. However, who's actually going to write the code to do this? When is

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

2007-04-24 Thread Ralf Hildebrandt
How do I globally set the font the mailman HTML pages use? Right now the pages look ugly as hell in IE, which my lusers use. I never noticed, since I don't use IE :) Basically, I want to use a serifless font. How can I do that in a simple fashion? -- Ralf Hildebrandt (i.A. des IT-Zentrums)

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

2007-04-24 Thread Brad Knowles
At 3:19 PM +0200 4/24/07, Ralf Hildebrandt wrote: How do I globally set the font the mailman HTML pages use? Mailman does not (currently) have those kinds of facilities. See FAQ 3.40. If you add anything along these lines to Mailman, we would love to see your modifications be contributed

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

2007-04-24 Thread Ivan Van Laningham
Hi All-- On 4/24/07, Brad Knowles [EMAIL PROTECTED] wrote: At 3:19 PM +0200 4/24/07, Ralf Hildebrandt wrote: How do I globally set the font the mailman HTML pages use? Mailman does not (currently) have those kinds of facilities. See FAQ 3.40. If you add anything along these lines to

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

2007-04-24 Thread Dragon
Ivan Van Laningham sent the message below at 13:04 4/24/2007: It'd be nice to have an easier way, yes. We'd have to have a special web page devoted to Mailman settings, not list settings. Threel ways to organize such a meta-page would be: 1) on a per-machine basis; 2) on a per-list basis; and

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

2007-04-24 Thread Brad Knowles
At 1:30 PM -0700 4/24/07, Dragon wrote: Actually no, those are not the best way to do this IMO. If ALL of the web pages were template-based, it would be a simple matter of defining the CSS you want in a CSS file and adding it to the page header. Yup, that would be nice. Wasn't somebody

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

2007-04-24 Thread Stephen J. Turnbull
Dragon writes: Actually no, those are not the best way to do this IMO. If ALL of the web pages were template-based, it would be a simple matter of defining the CSS you want in a CSS file and adding it to the page header. There's no reason why the programmatically generated pages can't

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

2007-04-24 Thread Ivan Van Laningham
Hi All-- Example: head link rel=stylesheet type=text/css href=/Javascript/GodN.css link rel=shortcut icon href=favicon.ico link rel=icon href=animated_favicon1.gif type=image/gif titleYour Title Here/title However, note that the /Javascript/ path in the link above wouldn't work for Mailman

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

2007-04-24 Thread Dragon
Stephen J. Turnbull did speak thusly: Dragon writes: Actually no, those are not the best way to do this IMO. If ALL of the web pages were template-based, it would be a simple matter of defining the CSS you want in a CSS file and adding it to the page header. There's no reason why the