Skip to content

Commit

Permalink
css tweaks
Browse files Browse the repository at this point in the history
  • Loading branch information
EmileTrotignon committed Sep 29, 2023
1 parent 8b01f41 commit 24e73e8
Show file tree
Hide file tree
Showing 2 changed files with 12 additions and 13 deletions.
3 changes: 1 addition & 2 deletions src/html_support_files/odoc.css
Original file line number Diff line number Diff line change
Expand Up @@ -252,9 +252,8 @@ body {
}

body.odoc {
max-width: 122ex;
max-width: 132ex;
display: grid;
grid-template-columns: 28ex 1fr;
column-gap: 4ex;
}

Expand Down
Loading

0 comments on commit 24e73e8

Please sign in to comment.