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

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