Fix default radical button size

Julien LepillerThu Jun 04 21:19:35+0200 2020

1aeb9e7

nani/app/.idea/codeStyles
namelast commitdate
Project.xmlEditor updatesSat Apr 25 23:50:21+0200 2020