Better discoverability of section/subsection boundaries

[rlaemmel]

I am here:

https://101wiki.softlang.org/Property:exemplifiedBy

I see this:

I think some sort of strong section separator and stronger visual discoverability of section versus subsection difference would be helpful in the view of the more metamodeled approach that we are using.

[kevin-klein]

54bd705

is the bold font doing it or should i make it bigger or something?

[rlaemmel]

Not quite discoverable for my kind of visuals.
Maybe some sort of horizontal lines (as used now for metadata) would do.
Maybe sections have to be bigger so that subsections can be also a bit bigger (than main text).