Space before heading

[jsoref]

Visit https://github.com/dart-lang/sdk

GitHub Mobile beta:

Note the leading space before A client-optimized language for fast apps on any platform

Apparently it's for some hover effect:


-- which really doesn't look great. No idea what it is. If this it the goal, I'd recommend not using hanging indentation on mobile. Sticking a thing above the row of text or on the far side of the line (in RtL that might not be the right side, although I haven't checked if that's supported...).

Chrome Android:

[stevepopovich]

Hi @jsoref thanks for filing. I passed this onto the team for prioritization.

[alcere]

Hi @jsoref! We have solved this issue, and today's release (1.141.0) will contain the fix. Thanks for reporting!