Skip to content

Commit

Permalink
fix margin on mobile
Browse files Browse the repository at this point in the history
Signed-off-by: Paul-Elliot <peada@free.fr>
  • Loading branch information
panglesd committed Mar 11, 2022
1 parent d243b80 commit c74c8ea
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions src/odoc/etc/odoc.css
Original file line number Diff line number Diff line change
Expand Up @@ -676,9 +676,8 @@ td.def-doc *:first-child {
/* Mobile adjustements. */

@media only screen and (max-width: 95ex) {
.odoc-content {
margin: auto;
padding: 2em;
body.odoc {
margin: 2em;
}
.odoc-toc {
position: static;
Expand All @@ -688,6 +687,7 @@ td.def-doc *:first-child {
border: none;
padding: 0.2em 1em;
border-radius: 5px;
margin-bottom: 2em;
}
}

Expand Down

0 comments on commit c74c8ea

Please sign in to comment.