Render the TAB char wider, so it is easier recognized as tab

2011-10-09 02:04:13 +02:00
parent 6abd0b6faa
commit 234b70845c
1 changed files with 5 additions and 0 deletions
--- 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;