s4

changeset 584:1974f3bce999

Add padding to slant font (td.repl em)
author HIROSE Yuuji <yuuji@gentei.org>
date Sat, 27 Jul 2019 08:54:43 +0900
parents ae420aaa8f4f
children dfa90fbc05bd
files examples/common/default/default.css
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line diff
     1.1 --- a/examples/common/default/default.css	Sat Jul 27 08:43:40 2019 +0900
     1.2 +++ b/examples/common/default/default.css	Sat Jul 27 08:54:43 2019 +0900
     1.3 @@ -117,7 +117,7 @@
     1.4      /* text-shadow: blue 0px 1px; */
     1.5  }
     1.6  td.repl hr {margin-bottom: -1em;}
     1.7 -td.repl em {color: #a00; text-decoration: underline}
     1.8 +td.repl em {color: #a00; text-decoration: underline; padding-right: 0.3ex;}
     1.9  td.repl strong {color: white; background: #00a; padding: 0 0.5ex;}
    1.10  td.repl h2:before {content: "■"; color: #a22;}
    1.11  td.repl h3:before {content: "◆"; color: #a22;}