Learn more about these different git repos.
Other Git URLs
c6681d2
@@ -512,7 +512,7 @@
display: block;
overflow: auto;
width: 100%;
- margin-bottom: 5px;
+ margin-bottom: 14px;
background-color: #fff;
}
Fixes #4436
rebased onto c6681d2
Since this isn't covered in the tests, I'm going to merge this directly :)
Pull-Request has been merged by pingou
Fixes #4436