gbdev/rgbds
1
0
Fork 0
mirror of https://github.com/gbdev/rgbds.git synced 2025-11-20 18:22:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

Update mandoc style sheet

Browse Source
This commit is contained in:
ISSOtm
2020-03-24 10:10:49 +01:00
parent 7635a2fc74
commit 713eef9ef2
4 changed files with 272 additions and 114 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
docs/rgbds.css
View File

@@ -13,7 +13,7 @@ body {
text-align: justify;
/* Center body horizontally (requires <html> to span full width) */
margin: 10px auto;
margin: 0 auto;
/* `mandoc.css`'s default, but it's applied to <html> there */
max-width: 100ex;
}
@@ -30,6 +30,11 @@ code, pre {
font-size: smaller;
}
pre {
/* Avoid horizontal page scrolling on mobile */
overflow: auto;
}
/* Separate lines in tables */
table.Bl-column {
border-collapse: collapse;