Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
When changing window sizes, manually set margins don't adjust when the window size changes until the window edge meets the margin. At that point the margins snap to the edge of the window. This is most distracting (heh) when moving to no-distraction mode, where the margins are most useful:
As no-distraction mode is a situation where the margins are likely used a lot, it might make sense for this "theme" to remember its own margin settings so it's consistent when switching in and out.