Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output

2015-04-16 Thread Ludovic Courtès
l...@gnu.org (Ludovic Courtès) skribis: > From 0a9320dd0f1d0d93d9204768a6cce5198c9ae8a1 Mon Sep 17 00:00:00 2001 > From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= > Date: Thu, 11 Dec 2014 16:49:21 +0100 > Subject: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML > out

Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output

2015-04-01 Thread Ludovic Courtès
:21 +0100 Subject: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output * build-aux/gendocs.sh (htmlarg): Change default value. --- ChangeLog| 5 + build-aux/gendocs.sh | 4 ++-- 2 files changed, 7 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/Change

Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output

2015-04-01 Thread Ludovic Courtès
Assaf Gordon skribis: > On Mar 31, 2015, at 11:51, Ludovic Courtès wrote: > > <...> >> , and then to update gendocs.sh to >> refer to that by default. >> >> Objections? Suggestions? > > This URL results in two redirections, perhaps it'll better to use the >

Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output

2015-03-31 Thread Assaf Gordon
Hello, On Mar 31, 2015, at 11:51, Ludovic Courtès wrote: <...> > , and then to update gendocs.sh to > refer to that by default. > > Objections? Suggestions? This URL results in two redirections, perhaps it'll better to use the expanded version? http://ww

Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output

2015-03-31 Thread Pádraig Brady
On 31/03/15 16:51, Ludovic Courtès wrote: > Reviving this old thread... > http://lists.gnu.org/archive/html/bug-gnulib/2014-12/msg00157.html > > l...@gnu.org (Ludovic Courtès) skribis: > >> The patch below intends to make on-line manuals prettier by default, and >> to make it easier to change the

Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output

2015-03-31 Thread Ludovic Courtès
Reviving this old thread... http://lists.gnu.org/archive/html/bug-gnulib/2014-12/msg00157.html l...@gnu.org (Ludovic Courtès) skribis: > The patch below intends to make on-line manuals prettier by default, and > to make it easier to change their style in the future. > > It assumes that

Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output

2014-12-13 Thread Karl Berry
Sorry, I don't want to lose any more of life to CSS debating. If you want to take over maintenance of gendocs.sh, that would be fine. Right now the upstream is in Texinfo, but that is historical -- no one else wanted to maintain it, so I ended up doing so. It could be maintained as part of guix,

Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output

2014-12-13 Thread Ludovic Courtès
k...@freefriends.org (Karl Berry) skribis: > To the best of my knowledge, you can use --html or override MAKEINFO or > probably other things to get whatever css you want into the gendocs.sh > output. Feel free to do that for your own manuals. > > I don't want to change the defaults in any such wh

Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output

2014-12-12 Thread Karl Berry
To the best of my knowledge, you can use --html or override MAKEINFO or probably other things to get whatever css you want into the gendocs.sh output. Feel free to do that for your own manuals. I don't want to change the defaults in any such wholesale way. (I also don't expect you to agree with

Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output

2014-12-12 Thread Ludovic Courtès
rekado skribis: > Ludovic Courtès writes: >> Perhaps also this: >> >> p { text-align: justify; } >> >> But then it looks like spacing around paragraphs would need to be >> slightly increased, WDYT? > > In my experience, paragraph justification often looks terrible in many > cases (especially wh

Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output

2014-12-12 Thread rekado
Ludovic Courtès writes: > Perhaps also this: > > p { text-align: justify; } > > But then it looks like spacing around paragraphs would need to be > slightly increased, WDYT? In my experience, paragraph justification often looks terrible in many cases (especially when unbreakable phrases like se

Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output

2014-12-12 Thread Ludovic Courtès
rekado skribis: >>> It assumes that would be copied to >>> as a starting point. >> >> Seems like a good idea to me. >> Projects can override this if they want. >> >> We can merge this after the global css is in place. > > FWIW

Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output

2014-12-11 Thread rekado
>> It assumes that would be copied to >> as a starting point. > > Seems like a good idea to me. > Projects can override this if they want. > > We can merge this after the global css is in place. FWIW, I created a simple style s

Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output

2014-12-11 Thread Karl Berry
I don't agree with changing the default css in gendocs.sh. (And I also don't want to debate it, sorry.) If you want to do that for your manuals, you can use --html or override MAKEINFO or probably other things. k

Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output

2014-12-11 Thread Pádraig Brady
On 11/12/14 15:59, Ludovic Courtès wrote: > The patch below intends to make on-line manuals prettier by default, and > to make it easier to change their style in the future. > > It assumes that would be copied to > as a startin

[PATCH] gendocs.sh: default to a common CSS style sheet for HTML output

2014-12-11 Thread Ludovic Courtès
udo’. >From 92cdbab74daf792cb08839dfa6f43114c2128d11 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= Date: Thu, 11 Dec 2014 16:49:21 +0100 Subject: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output * build-aux/gendocs.sh (htmlarg): Change default value.