Skip to content

Commit

Permalink
Fix indentation bug with verbatim in tags
Browse files Browse the repository at this point in the history
closes #1139
  • Loading branch information
jonludlam committed Feb 13, 2025
1 parent d88e04c commit 001f803
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions src/html_support_files/odoc.css
Original file line number Diff line number Diff line change
Expand Up @@ -607,6 +607,7 @@ tt, code, pre {
border: 1px solid var(--pre-border-color);
border-radius: 5px;
overflow-x: auto;
text-indent: initial;
}

.odoc p code,
Expand Down

0 comments on commit 001f803

Please sign in to comment.