From 234b70845c015b6b4b590f29b26c175543efff82 Mon Sep 17 00:00:00 2001 From: Thomas Keller Date: Sun, 9 Oct 2011 02:04:13 +0200 Subject: [PATCH] Render the TAB char wider, so it is easier recognized as tab --- www/media/idf/css/style.css | 5 +++++ 1 file changed, 5 insertions(+) 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;