Re: Table of contents top margin

[Werner LEMBERG]

> It did make a difference so I have provided an altered definition of
> \raggedbottom.  Please try version 2022-09-15.17.

Works, thanks!


Werner

Re: Table of contents top margin

[Gavin Smith]

On Thu, Sep 15, 2022 at 04:13:49PM +, Werner LEMBERG wrote:
> 
> >> As far as I can see, the last thing not obeying the 'text block' is
> >> the table of contents.  I can't see any reason why this is so –
> >> actually, the page number is uncomfortably near to the top line of
> >> the TOC, as can be seen on the attached image.  [This is with
> >> @afourpaper in case it matters.]
> >
> > It is due to the use of \raggedbottom, which is from plain TeX and
> > sets \topskip to 10pt, which was 36pt by default and 44pt with
> > @afourpaper.
> 
> Thanks for checking.  I suggest to simply provide a Texinfo version of
> `\raggedbottom` that uses the correct `\topskip` value.
> 
> > I am not sure if the \raggedbottom is actually achieving what was
> > intended here, if the contents pages actually are raggedbottom.
> 
> Good question.  However, analyzing this might need much more time than
> simply fixing the immediate cause.

It did make a difference so I have provided an altered definition of
\raggedbottom.  Please try version 2022-09-15.17.

Re: Table of contents top margin

[Werner LEMBERG]

>> As far as I can see, the last thing not obeying the 'text block' is
>> the table of contents.  I can't see any reason why this is so –
>> actually, the page number is uncomfortably near to the top line of
>> the TOC, as can be seen on the attached image.  [This is with
>> @afourpaper in case it matters.]
>
> It is due to the use of \raggedbottom, which is from plain TeX and
> sets \topskip to 10pt, which was 36pt by default and 44pt with
> @afourpaper.

Thanks for checking.  I suggest to simply provide a Texinfo version of
`\raggedbottom` that uses the correct `\topskip` value.

> I am not sure if the \raggedbottom is actually achieving what was
> intended here, if the contents pages actually are raggedbottom.

Good question.  However, analyzing this might need much more time than
simply fixing the immediate cause.


Werner

Table of contents top margin

[Gavin Smith]

On Thu, Sep 08, 2022 at 05:27:20AM +, Werner LEMBERG wrote:
> As far as I can see, the last thing not obeying the 'text block' is
> the table of contents.  I can't see any reason why this is so –
> actually, the page number is uncomfortably near to the top line of the
> TOC, as can be seen on the attached image.  [This is with @afourpaper
> in case it matters.]

It is due to the use of \raggedbottom, which is from plain TeX and sets
\topskip to 10pt, which was 36pt by default and 44pt with @afourpaper.  I
am not sure if the \raggedbottom is actually achieving what was intended
here, if the contents pages actually are raggedbottom.