Closed elefthei closed 3 years ago
I see it fixed on the website! Also kind of weird that anybody can make PRs and change the live website lol
I see it fixed on the website! Okay so it must matter after all
Also kind of weird that anybody can make PRs and change the live website lol Alas, no :) I deployed this PR to see if you could really see a difference. The actual site is just a folder in an eniac account. The live html is its own git repo though so we can rollback changes in case of emergencies.
I don't actually see a difference in the final HTML, do you? The current live website reflects this PR but it seems like Pandoc doesn't care if there's a space under the header.