This was the reason for the large line widths - an extra linefeed after each li element

include/text.php

@@ -2908,7 +2908,7 @@ function text_highlight($s,$lang) {
     $hl = Text_Highlighter::factory($lang);
     $hl->setRenderer($renderer);
 	$o = $hl->highlight($s);
-	$o = str_replace("    ","    ",$o);
+	$o = str_replace(["    ","\n"],["    ",''],$o);
 
 	if($tag_added) {
 		$b = substr($o,0,strpos($o,'<li>'));

library/Text_Highlighter/sample.css

@@ -1,9 +1,6 @@
 .hl-main ol {
 	line-height: 1.0;
 }
-.hl-main li {
-}
-
 .hl-default {
     color: Black;
 }