Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Weird indentation for verbatim blocks within tags #1139

Open
lpw25 opened this issue May 31, 2024 · 0 comments
Open

Weird indentation for verbatim blocks within tags #1139

lpw25 opened this issue May 31, 2024 · 0 comments

Comments

@lpw25
Copy link
Contributor

lpw25 commented May 31, 2024

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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant