Adjust about screen size to fit logo

Also adjust portbox border so the referesh button fits even with long port names

Author: MaartenS11

src/main/kotlin/be/ugent/topl/mio/ui/AboutScreen.kt

@@ -17,8 +17,8 @@ import javax.swing.*
 open class AboutScreen(protected val config: DebuggerConfig) : JFrame() {
     init {
         configureTheme()
-        setSize(400, 300)
-        minimumSize = Dimension(400, 300)
+        setSize(450, 350)
+        minimumSize = Dimension(450, 350)
         val mainPanel = JPanel()
         mainPanel.setLayout(BoxLayout(mainPanel, BoxLayout.Y_AXIS))
         mainPanel.border = BorderFactory.createEmptyBorder(20, 20, 20, 20)

src/main/kotlin/be/ugent/topl/mio/ui/StartScreen.kt

@@ -34,6 +34,7 @@ open class StartScreen(config: DebuggerConfig) : AboutScreen(config) {
             }
         }
         val portBox = Box.createHorizontalBox()
+        portBox.border = BorderFactory.createEmptyBorder(10, 20, 0, 20)
         portBox.add(portComboBox)
         portBox.add(JButton(FlatSVGIcon(javaClass.getResource("/refresh.svg"))).apply {
             addActionListener {