jquerytools/jquerytools — pull request #772 by topweb (2012-05-27 11:51:00+00:00)
Title: Add option to change size of navigator plugin

https://github.com/jquerytools/jquerytools/issues/761#issuecomment-5946995