more spacing in code samples

ch.source_and_porting.tex

@@ -55,7 +55,7 @@ The rest of the porting process, after generating the base project, can be summa
 	
 	\item Add the ``gex-core'' Git submodule as the \verb|User| folder, and create a Git branch in it for the new platform.
 	
-	\item Fix the Makefile generated by STM32CubeMX; it usually contains duplicate entries in the file lists and other errors. Ensure the build (``\verb|make|'' invocation in the terminal) succeeds before making any other changes.
+	\item Fix the Makefile generated by STM32CubeMX; it usually contains duplicate entries in the file lists, and other errors. Ensure the build (``\verb|make|'' invocation in the terminal) succeeds before making any other changes.
 	
 	\item Delete the USB Device library from the \verb|Middlewares/ST| folder; GEX uses the modified version included in \verb|User/USB|.
 	

pre.minted.tex

@@ -5,7 +5,7 @@
 \let\endcminted\endminted
 \xpretocmd{\cminted}{\RecustomVerbatimEnvironment{Verbatim}{BVerbatim}{}}{}{}
 
-\newminted{ini}{frame=leftline,autogobble=true}
-\newminted{python}{frame=leftline,autogobble=true}
-\newminted{c}{frame=leftline,autogobble=true}
-\newminted{matlab}{frame=leftline,autogobble=true}
+\newminted{ini}{frame=leftline,autogobble=true,framesep=2mm}
+\newminted{python}{frame=leftline,autogobble=true,framesep=2mm}
+\newminted{c}{frame=leftline,autogobble=true,framesep=2mm}
+\newminted{matlab}{frame=leftline,autogobble=true,framesep=2mm}