The default GitHub pages theme used with the default Jekyll build pipeline at the time of writing uses a 980 px wide div for the page content, whereas the pandoc-goodies version added some extra padding on the sides. This made the text etc on our videos harder to see, so the extra padding was removed. Padding on top and bottom was kept as is.
The "real" change was done to the _github-markdown.scss file: the rest
are autogenerated based on it.
Also replaced the template-building bats with a Makefile for usability on non-windows systems. Build instructions now also reflect this. Did not make changes to the preview building stuff, as it's not clear whether we want to use pp (or UPP/Panda) at some point.
Some files also had trailing whitespace, those were autoremoved from the edited files.
The default GitHub pages theme used with the default Jekyll build pipeline at the time of writing uses a 980 px wide div for the page content, whereas the pandoc-goodies version added some extra padding on the sides. This made the text etc on our videos harder to see, so the extra padding was removed. Padding on top and bottom was kept as is.
The "real" change was done to the _github-markdown.scss file: the rest are autogenerated based on it.
Also replaced the template-building bats with a Makefile for usability on non-windows systems. Build instructions now also reflect this. Did not make changes to the preview building stuff, as it's not clear whether we want to use
pp
(or UPP/Panda) at some point.Some files also had trailing whitespace, those were autoremoved from the edited files.