left-trim one-liner-<pre>s or -<highlight>s completely. The indentation is usually an accident.

move the <pre> trimming code into its own module and use it both for html and latex output