The source project of this merge request has been removed.
Remove margin around repo pagination
In !102 (merged) I introduced some margin. This fixes it while keeping the other panels looking good.
Unfortunately, on the screenshots it still looks like there is some margin o_O In reality, there is none.