HaxeFoundation/haxe.org — pull request #16 by frabbit (2014-05-26 10:13:16+00:00)
Title: add some margins to tree-nav

a little bit more space for the elements in the tree nav because it doesn't look very well on mobile.