Line spacing messed up

### Description

there is too much white space here, presumably because the line numbers are becoming double digits and the column for the line numbers is fixed width and too narrow.

### (Optional:) Please add any files, screenshots, or other information here.

_No response_

### (Required) What is this issue most closely related to? Select one.

Choose One

### Internal issue ID

f5892e78-2a2a-4eb8-8df9-b3fc0fcb8bc0

### Paper URL

https://services.arxiv.org/html/submission/5439730/view

https://arxiv.org/html/2402.18994

### Browser

Chrome/121.0.0.0

### Device Type

Desktop

Open the linked paper URLs in Chrome and inspect the rendered line-numbered content around the transition from single- to double-digit line numbers. Trace where the line-number column and spacing are produced; done means the excessive white space is removed while line numbers remain aligned.

Written by the indexing model from the issue text.