gbdev/rgbds
1
0
Fork 0
mirror of https://github.com/gbdev/rgbds.git synced 2025-11-30 14:57:50 +00:00
Code Issues Packages Projects Releases Wiki Activity

Update style overrides for new mandoc.css

Browse Source
This commit is contained in:
ISSOtm
2020-03-24 10:08:23 +01:00
parent 713eef9ef2
commit e308130e23
2 changed files with 5 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
docs/mandoc.css
View File

@@ -10,7 +10,10 @@
/* Global defaults. */ /* Global defaults. */
html { max-width: 65em; } /* This is handled in `rgbds.css` instead
*
* html { max-width: 65em; }
*/
body { font-family: Helvetica,Arial,sans-serif; } body { font-family: Helvetica,Arial,sans-serif; }
table { margin-top: 0em; table { margin-top: 0em;
margin-bottom: 0em; margin-bottom: 0em;

2
docs/rgbds.css
View File

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