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.

贡献者指南