shithub: rgbds

Download patch

ref: e308130e23d56fbc51c1eba7d964299d83108765
parent: 713eef9ef2468c3902955f99c37ce98802a7820d
author: ISSOtm <[email protected]>
date: Tue Mar 24 06:08:23 EDT 2020

Update style overrides for new `mandoc.css`

--- 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;
--- a/docs/rgbds.css
+++ b/docs/rgbds.css
@@ -15,7 +15,7 @@
 	/* Center body horizontally (requires <html> to span full width) */
 	margin: 0 auto;
 	/* `mandoc.css`'s default, but it's applied to <html> there */
-	max-width: 100ex;
+	max-width: 65em;
 }
 @media print {
 	body {