I posted a PR about this, but would like to gauge thoughts on what
formatting for headings (purely in the REPL e.g. in help messages
- elsewhere e.g. in html, they are rendered differently).
I tentatively put:
julia> Base.Markdown.parse("#Title")
Title
-=====-
julia> Base.Markdown.parse("##Section")
Section
-–––––––-
julia> Base.Markdown.parse("###Subsection")
Subsection
––––––––––
Though, as I comment in the PR, personally I dislike centered headings (I
find them difficult to read) and prefer left-aligned. Do others feel the
same/have other/better ideas for this?
https://github.com/JuliaLang/julia/pull/9853
