This issue here is a cosmetic one, but could help newcomers.
As an example I am using re-web
E.g. there are two files, 1) Body.mli and 2) Body.ml.
First has no dependencies, but the grey colored label does not say "Dependencies: -", "Dependencies: (none)" or omits the label, but it says "Dependencies:" (screenshot 1). This is irritating, since a newcomer might refer this to any paragraph coming below the label. Intuitively, when there are no dependencies, I'd best like to have the label omitted fully.
Second has dependencies, so they are enumerated in grey font color (screenshot 2).
This issue here is a cosmetic one, but could help newcomers. As an example I am using re-web E.g. there are two files, 1)
Body.mli
and 2)Body.ml
.First has no dependencies, but the grey colored label does not say "Dependencies: -", "Dependencies: (none)" or omits the label, but it says "Dependencies:" (screenshot 1). This is irritating, since a newcomer might refer this to any paragraph coming below the label. Intuitively, when there are no dependencies, I'd best like to have the label omitted fully.
Second has dependencies, so they are enumerated in grey font color (screenshot 2).