Morten Piibeleht

I feel that, rather than adding padding, we should expand the gray highlight to cover the gap between the list items:  Otherwise it will always "feel small" relative to...

> Are you implying to add the hover effect to `li` tag after adding padding to the it? The idea is to fill the gap between the items, without (necessarily)...

We went with minisearch in #2172, so I'll close this, since it's unlikely that we'll change the engine again in the near future unless a compelling case is made. That...

> Or we could learn from ruby's document style and distinguish between TOC and `@index`. Separating them seems like a good idea, either by having them one after another, or...

Note: #1412 is closely related. But the OP here seems to be more about including edit features directly in the Documenter-generated HTML. I'm not sure how feasible that actually is...

> Now that Julia has a `public` keyword argument to declare unexported public API ([JuliaLang/julia#50105](https://github.com/JuliaLang/julia/pull/50105)), maybe Documenter could check only whether docstrings for public or exported functions are included? Making...

I think the actionable decision here is to implement an option (e.g. `jldoctest; mode=:errorsonly`) that disables output checking, but does fail if any errors were thrown (unlike the current doctests)....

Some sort of a Quarto integration would have to be done as a plugin, both to manage dependencies, but I also think it would be a bit too big to...

@inkydragon `page.mapping` is not really a thing anymore. It's probably easier to just re-implement the `HTMLWriter.jl` changes from scratch. The internal representation that gets fed to the writers changed quite...

Actually, let me reopen this: let's refocus this issue around the splicing feature: https://github.com/JuliaDocs/Documenter.jl/issues/499#issuecomment-346994594 I actually do have the need for something like that. Although, I think it should be...