hgtonight/Plugin-JumpToTop — pull request #1 by kasperisager (2013-12-21 19:22:18+00:00)
Title: Plugin optimizations

Optimize Javascript and CSS and simplify adding the jump-to-top button