Fixed issue in implmementation of #317
Additionally changed the sourcecode font size in the LaTeX documentation to \footnotesize
Authored by: numere 2018-05-23
Parent: [r338]
Child: [r340]