Hallo Candid Dauth,
Eine weitere Möglichkeit wäre, serverseitig im Code alle doppelten Leerzeichen durch ein geschütztes Leerzeichen und ein normales Leerzeichen zu ersetzen, und ein Leerzeichen am Anfang der Zeile durch ein geschütztes Leerzeichen. In PHP könnte das zum Beispiel so aussehen:
$code = preg_replace('/(^| ) /', "\xa0$1", $code);
(ungetestet, müsste aber funktionieren)
Gute Idee. Das gleiche wäre auch mit JavaScript möglich, falls keine Serverseitige Sprache zur Verfügung steht. Wenn kein JS aktiviert ist wird die Tabelle eben vergrößert.
Gruß,
small-step