Add Polish language (#49)

This commit is contained in:
Robert Susik 2023-03-05 21:54:35 +01:00 committed by GitHub
parent dec3909be1
commit 36c84a5b50
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 5 additions and 0 deletions

4
lang/pl.css Normal file
View File

@ -0,0 +1,4 @@
:lang(pl) .theorem::before { content: 'Twierdzenie ' counter(theorem) '. ' !important; }
:lang(pl) .lemma::before { content: 'Lemat ' counter(theorem) '. ' !important; }
:lang(pl) .proof::before { content: 'Dowód.' attr(title) !important; }
:lang(pl) .definition::before { content: 'Definicja ' counter(definition) '. ' !important; }

View File

@ -49,6 +49,7 @@
<option value="ja">Japanese (ja)</option>
<option value="mwl">Mirandese (mwl)</option>
<option value="nl">Dutch (nl)</option>
<option value="pl">Polish (pl)</option>
<option value="pt">Portuguese (pt)</option>
<option value="ro">Romanian (ro)</option>
<option value="ru">Russian (ru)</option>