Fix a missing dot in the main item heading

[Urgau]

This pull-request fix a missing · in the item header and also make use of   to explicit that the spaces are mandatory.

Before	After

PS: This was introduce yesterday by #92526 (the migration from Tera to Askama) and is not currently observable in the nightly doc.

[rust-highfive]

Some changes occurred in HTML/CSS/JS.

cc @GuillaumeGomez,@Folyd

[rust-highfive]

r? @jsha

(rust-highfive has picked a reviewer for you, use r? to override)

[jsha]

Thanks for the fix!

make use of   to explicit that the spaces are mandatory.

  doesn't mean "spaces are mandatory," it means "browser may not break the line here." Is there any reason to require that? I think breaking the line on either side of the dot is reasonable.

[GuillaumeGomez]

Why adding another character? It's already taking more space than before and the toggle is different enough, no?

[Urgau]

  doesn't mean "spaces are mandatory," it means "browser may not break the line here."

I mean "mandatory for the html generation not necessarily for the browser", but it think it also make sense to dot break here.

Is there any reason to require that? I think breaking the line on either side of the dot is reasonable.

I tried many things: breaking before, after, trim, no trim, spaces, ... but the only thing that worked was to add a html entity after the space I think this is because of the Askama directives are messing with the spaces/tabs/newline.

[Urgau]

Why adding another character? It's already taking more space than before and the toggle is different enough, no?

The current nightly is:

This PR just add the dot back nothing else. There is nothing new.

[GuillaumeGomez]

Then nevermind me. :)

[jsha]

I think what you want is:

                <a class="srclink" href="{{href|safe}}" title="goto source code">source</a> · {# -#}

Notice that the "comment" at the end is {# -#}, not {#- -#}. That means "strip whitespace to the right of this comment, but not to the left.

[Urgau]

I think what you want is:

                <a class="srclink" href="{{href|safe}}" title="goto source code">source</a> · {# -#}

Notice that the "comment" at the end is {# -#}, not {#- -#}. That means "strip whitespace to the right of this comment, but not to the left.

Oh! I tough this way the other way around, no wonder why it didn't worked when I tested it.

Remove the &nbsp and push. This is ready for another review.

[jsha]

@bors r+ rollup

Thanks so much!

[bors]

📌 Commit d5871d0 has been approved by jsha