diff --git a/docs/mandoc.css b/docs/mandoc.css
index 69cd38b1..085f5c08 100644
--- a/docs/mandoc.css
+++ b/docs/mandoc.css
@@ -10,10 +10,7 @@
/* Global defaults. */
-/* This is handled in `rgbds.css` instead
- *
- * html { max-width: 65em; }
- */
+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 a93de2a5..9bbfd08e 100644
--- a/docs/rgbds.css
+++ b/docs/rgbds.css
@@ -4,18 +4,21 @@ html {
/* Reduce contrast */
background-color: #f8f8f8;
color: #222;
+
+ /* Override `mandoc.css`'s sowe can put it on instead */
+ max-width: none;
}
body {
- /* Improve readability */
- font-size: 16px;
- line-height: 1.4;
- text-align: justify;
-
/* Center body horizontally (requires to span full width) */
margin: 0 auto;
/* `mandoc.css`'s default, but it's applied to there */
max-width: 65em;
+
+ /* Improve readability */
+ font-size: 16px;
+ line-height: 1.4;
+ text-align: justify;
}
@media print {
body {
diff --git a/src/doc_postproc.awk b/src/doc_postproc.awk
index b7cb7547..81ea0761 100755
--- a/src/doc_postproc.awk
+++ b/src/doc_postproc.awk
@@ -1,10 +1,5 @@
#!/usr/bin/awk -f
-/")
-}
-
/^\s+
.+<\/b><\/td>$/ {
# Assuming that all cells whose contents are bold are heading cells,
# use the HTML tag for those
@@ -83,3 +78,8 @@ BEGIN {
# Add viewport size tag for mobile users
print " "
}
+
+/")
+}