fix uggly topbar size
1 file changed
tree: 33f05e4a0fab5cf445f9f79d4c5a465b07316135
  1. src/
  2. .gitignore
  3. pom.xml