diff --git a/docs/_static/custom.css b/docs/_static/custom.css index b89aa4896..037d460de 100644 --- a/docs/_static/custom.css +++ b/docs/_static/custom.css @@ -6,3 +6,14 @@ div.admonition p.admonition-title { font-size: 17px; font-weight: bold; } + +@media screen and (min-width: 875px) { + div.document { + width: 100%; + } +} +@media screen and (min-width: 1095px) { + div.document { + width: 1095px; + } +} diff --git a/docs/conf.py b/docs/conf.py index 498b872b0..1a270c4a0 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -41,9 +41,6 @@ "logo": "logo.png", "logo_name": True, "logo_text_align": "center", - # Make the page body wider. - "page_width": "50%", - "body_max_width": "auto", "github_user": "osandov", "github_repo": "drgn", "github_button": True,