Re: Table of contents top margin

[Gavin Smith]

On Thu, Sep 15, 2022 at 04:13:49PM +0000, 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.