OpenUserJs/OpenUserJS.org — pull request #182 by jerone (2014-06-18 09:47:10+00:00)
Title: Better flagged headings

Better flagged headings.

Improves https://github.com/OpenUserJs/OpenUserJS.org/pull/171