# HG changeset patch
# User HIROSE Yuuji <yuuji@gentei.org>
# Date 1564185283 -32400
# Node ID 1974f3bce9993d853a971c02a2a82c51fee39bb5
# Parent  ae420aaa8f4f097956e3fa31ce9bcbe7256fe33a
Add padding to slant font (td.repl em)

diff -r ae420aaa8f4f -r 1974f3bce999 examples/common/default/default.css
--- a/examples/common/default/default.css	Sat Jul 27 08:43:40 2019 +0900
+++ b/examples/common/default/default.css	Sat Jul 27 08:54:43 2019 +0900
@@ -117,7 +117,7 @@
     /* text-shadow: blue 0px 1px; */
 }
 td.repl hr {margin-bottom: -1em;}
-td.repl em {color: #a00; text-decoration: underline}
+td.repl em {color: #a00; text-decoration: underline; padding-right: 0.3ex;}
 td.repl strong {color: white; background: #00a; padding: 0 0.5ex;}
 td.repl h2:before {content: "■"; color: #a22;}
 td.repl h3:before {content: "◆"; color: #a22;}