docs dots

Stream: general

[Patrick Massot]

It's really annoying that our documentation pages contain weird dots in names. It makes it very hard to copy paste stuff from there to VSCode.

[Patrick Massot]

More precisely, each dot is followed by a unicode character 'ZERO WIDTH SPACE' (U+200B)

[Gabriel Ebner]

I added them so that the browser can insert line breaks inside some overly long names. As far as I know, this is the only way to allow line breaks at specific points in a word. You're quite knowledgeable about CSS, if you know a better trick please tell me.
I'm also annoyed by the zero-width spaces. We could replace them by overflow-wrap: break-word, but then the line breaks would be at random points inside the name. :disappointed:

[Reid Barton]

What about wrapping each component in a separate span?

[Gabriel Ebner]

https://jsfiddle.net/c9q3o41f/ :-(

[Reid Barton]

https://jsfiddle.net/vqwpjL9c/9/ is better

[Reid Barton]

though I wish it wouldn't break on both sides of the .

[Patrick Massot]

This looks better than the invisible character trick.

[Bryan Gin-ge Chen]

It looks like this caused some issues in #4144. cc: @Eric Wieser

[Eric Wieser]

Oh man, I would not have spotted that. Thanks @Bryan Gin-ge Chen !