Skip to content

Weird indentation for verbatim blocks within tags #1139

Closed
@lpw25

Description

@lpw25

Given something like:

(** Some docs

     @param Start a tag that never stops

     {v
| A table | With columns   |
|----------+---------------------|
| Yes      | Always             |
| No       | Never               |
v}
*)

The indentation of the table is messed up because the markup for the @tag includes text-indent: -3ex and that is being inherited by the <pre> block. A simple solution would be to add text-indent: initial to the css for .odoc pre.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions