Indentation lost in lstlistings

[blefloch]

Description

In a code listing formatted using the listings package, the leading space in every line is removed (in the HTML output). Colors and Unicode characters are correct.

(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

39182cff-9d74-4baf-a334-d715bbd566fa

Paper URL

https://arxiv.org/html/2512.07087v2

Browser

Firefox/146.0

Device Type

Laptop

[html-feedback-bot]

Location in document: ltx_listing

Selected HTML:

@[equational_result]

theorem _root_.Equation1437_not_implies_Equation4269 :

∃\exists (G : Type) (_ : Magma G), Equation1437 G ∧\wedge ¬\lnot Equation4269 G := by

use ℕ\mathbb{N} ×\times Fin 3, ⟨\langleop⟩\rangle

constructor

∙\bullet intro x y z

simp [op, add_assoc]

∙\bullet simp only [not_forall, op]

use (0, 0), (2, 0)

decide

[github-actions]

Hello @blefloch, we have received your feedback and are reviewing it.

Your reports on HTML issues help our developers prioritize improvements to our HTML conversion process, helping make arXiv more accessible. Thank you!

Please note that:
• We receive a high volume of reports – while we track, review, and assess each issue reported, we cannot respond to reporters individually.
• This GitHub repository ONLY tracks reports that are about the experimental HTML format – if you report an issue that is not relevant to HTML rendering, it will not be noted or tracked.
• For issues that are not relevant to HTML rendering (e.g. issues that also appear in the PDF), please contact the author (for issues like typos or dead links) or submit a ticket to the arXiv user support portal (http://arxiv.org/support/general_help).

[MarcBoule]

Just want to echo this, and in the case below, colors do not seem to be correct:

https://arxiv.org/html/2601.09829

It looks like single line comments with // will render all colors to be green for the rest of the listing, after such a comment is encountered (comparing figures 12 and 13 leads to this observation).

[dginev]

Thank you for your report - the specific issue is now solved.

We have regenerated the article and you should be able to see an improvement.
As of August 11, we have completely updated the HTML Paper variants for all arXiv articles. This process used a newly released Rust rewrite of LaTeXML called latexml-oxide and covered the full arXiv collection.

Feel free to open new tickets for any remaining issues.

[MarcBoule]

Thanks, looking much better!
(I followed this up with a somewhat related issue at #6950)