Ability to adjust side_margin

[ivanstepanovftw]

Setting for adjusting side margin ($side_margin) is needed for better UI/UX. As you see, in apps like Discord there is a gap that confuses which app is open/active.

I have tried different approaches, such as removing side margin and applying box-shadow.

Removing side margin improves experience, while shadow box-shadow: 0px 0px $shadow_radius 0px rgba(0, 0, 0, 1); seems like applying not only to outer edges and causing fully transparent dash to be black.

default	without margin	with shadow
		expected something like this: codepen

[3v1n0]

Eh, this is quite complex because it implies acting on something that we define from css right now, it can probably be modified to be computed at runtime, but this would require some hacking...