X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fstyle.css;h=1f7d79037c6df662a6da04e0f7d8327f114054c5;hb=eedd0b65075c4be67e5b25c768c50f3cad0adff1;hp=d1175903987700c9334b9fc24956f292563e2a17;hpb=d998766540ffc4332d6212a76a38a2242419ffa5;p=YACASL2.git

diff --git a/doc/style.css b/doc/style.css
index d117590..1f7d790 100644
--- a/doc/style.css
+++ b/doc/style.css
@@ -120,4 +120,8 @@ pre.example strong {
 
 dt {
     font-weight: bold;
+}
+
+dfn {
+    font-style: normal;
 }
\ No newline at end of file