getnikola/nikola — pull request #1071 by davclark (2014-02-22 18:48:45+00:00)
Title: Fixing margins on navbar-right

The old template had the "Source" link on the right side of the navbar with a -15px margin, which put it right against the edge of the screen. This is one solution, and I'm guessing it may be relevant to other themes. I don't know if there's an efficient way to propigate / check on this...