From e308130e23d56fbc51c1eba7d964299d83108765 Mon Sep 17 00:00:00 2001 From: ISSOtm Date: Tue, 24 Mar 2020 10:08:23 +0100 Subject: [PATCH] Update style overrides for new `mandoc.css` --- docs/mandoc.css | 5 ++++- docs/rgbds.css | 2 +- 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/docs/mandoc.css b/docs/mandoc.css index 085f5c08..69cd38b1 100644 --- a/docs/mandoc.css +++ b/docs/mandoc.css @@ -10,7 +10,10 @@ /* Global defaults. */ -html { max-width: 65em; } +/* This is handled in `rgbds.css` instead + * + * html { max-width: 65em; } + */ body { font-family: Helvetica,Arial,sans-serif; } table { margin-top: 0em; margin-bottom: 0em; diff --git a/docs/rgbds.css b/docs/rgbds.css index 88703b56..a93de2a5 100644 --- a/docs/rgbds.css +++ b/docs/rgbds.css @@ -15,7 +15,7 @@ body { /* Center body horizontally (requires to span full width) */ margin: 0 auto; /* `mandoc.css`'s default, but it's applied to there */ - max-width: 100ex; + max-width: 65em; } @media print { body {