Skip to content

Lot of unused vertical space on odoc HTML pages #1381

@yawaramin

Description

@yawaramin

Eg in the below screenshot, we can see a significant portion of the left side of the page is unused:

Screenshot showing wasted vertical space on https://ocaml.github.io/odoc/odoc/odoc.examples/Odoc_examples/Markup/index.html

Can we push the left side panel closer to the left margin of the page to make more space for the main content? Eg Elixir library documentation page:

Elixir standard library documentation page

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions