Interesting. Looked at:

https://nature-lang.org/docs/syntax

In the Type System section, a little text at the left margin is cut off for some lines.