buunguyen/octotree — pull request #113 by enyo (2014-06-12 14:20:07+00:00)
Title: Added a padding to the repo info in the header

Otherwise the buttons overlap the repo name.