Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
tweak compact theme #4665
Assigning to @ara4n so that he can decide if he likes the changes or not. ;) The reduced size of info event I think should be fine. I'm not so sure about the reduced spacing between some elements, because, at least for paragraphs, it comes into effect or not depending on how the user entered the paragraphs (see discussion starting at #4363 (comment)).