diff --git a/www/media/idf/css/style.css b/www/media/idf/css/style.css index b31e393..075c76e 100644 --- a/www/media/idf/css/style.css +++ b/www/media/idf/css/style.css @@ -584,6 +584,11 @@ span.ctrl-char { cursor: default; } +/* special formatting for the TAB character: make it wider, so it is rendered more properly */ +span.ctrl-char[title="0x09"] { + width: 24px; +} + table.diff { width: 100%; table-layout: fixed;