As requested in #180, this adds an option to display a margin around the grid so that it's not flush with the scrollbar.
I tried a number of different approaches, eventually settling on additional divs that overlay the grid and adding extra margins around the header and grid body so that all content is still visible. The gutters are repositioned via JavaScript during scroll events. Whether this aesthetically the best solution is up for discussion.
As requested in #180, this adds an option to display a margin around the grid so that it's not flush with the scrollbar.
I tried a number of different approaches, eventually settling on additional divs that overlay the grid and adding extra margins around the header and grid body so that all content is still visible. The gutters are repositioned via JavaScript during scroll events. Whether this aesthetically the best solution is up for discussion.
I added a new example page but no test yet.