react-epfl/gadget — pull request #29 by lnlina (2013-10-04 16:34:52+00:00)
Title: css change

change the style of the toolbox to allow scrollbar when size is bigger than one page