Add a margin to the selector

Author: filiptronicek

components/dashboard/src/user-settings/SelectIDE.tsx

@@ -76,7 +76,7 @@ export default function SelectIDE(props: SelectIDEProps) {
 
     return (
         <>
-            <div className="w-112">
+            <div className="w-112 my-4">
                 <SelectIDEComponent
                     onSelectionChange={async (ide) => {
                         await actuallySetDefaultIde(ide);