Mottie/Github-Dark — pull request #48 by silverwind (2013-09-29 12:09:42+00:00)
Title: Reduce top and bottom padding in the code editor

I noticed that there's a 5px top and bottom padding on Github's default style in the code editor and got rid of it.