JuliaDocs/Documenter.jl

Front end setting to make page full-width

Open

#1,168 建立於 2019年10月29日

在 GitHub 查看
 (2 留言) (0 反應) (0 負責人)Julia (513 fork)batch import
Format: HTMLhelp wanted

倉庫指標

Star
 (910 star)
PR 合併指標
 (平均合併 16天 9小時) (30 天內合併 3 個 PR)

描述

Sometimes the default max width of the main body column is too narrow, so it would be good if there was a way to make it wider, but without compromising readability in most cases.

  • Have an option in the new settings dialog to disable the max-width on the main <article> tag. Implementation: apply a class e.g. <html> when that is toggled, similar to how we handle themes. Store the option in Web Storage.

  • Also maybe have a keyboard shortcut for this, so that it would be easy to toggle (for people who know/want this). However, it's not really something you could rapidly toggle on-off I think since the reflow of the page will throw you to a different section of the page if you are somewhere in the middle.

Based on a suggestion by @KristofferC on Slack, writing it up so it would not get completely forgotten.

貢獻者指南