add ja.css (#18)

This commit is contained in:
NATSUHIKO MIZUTANI 2020-05-28 16:40:45 +09:00 committed by GitHub
parent c7100bf16b
commit 567d3dfd79
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

5
lang/ja.css Normal file
View File

@ -0,0 +1,5 @@
:lang(ja) .theorem::before { content: '定理 ' counter(theorem) '. ' !important; }
:lang(ja) .theorem { font-style: italic; }
:lang(ja) .lemma::before { content: '補題 ' counter(theorem) '. ' !important; }
:lang(ja) .proof::before { content: '証明:' attr(title) !important; font-style: normal; }
:lang(ja) .definition::before { content: '定義 ' counter(definition) '. ' !important; }