summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/texlive/texlive-pl/texlive-pl.css
diff options
context:
space:
mode:
authorStaszek Wawrykiewicz <staw@gust.org.pl>2016-05-17 23:43:33 +0000
committerStaszek Wawrykiewicz <staw@gust.org.pl>2016-05-17 23:43:33 +0000
commit96934f52cc846eb6cc9b90c47898e35268ea3adc (patch)
tree45124be9cbbe8e5b5ae82b619fb6a12d2a856db9 /Master/texmf-dist/doc/texlive/texlive-pl/texlive-pl.css
parent138e036510b19983e3090120941329a65543b64a (diff)
texlive-pl update
git-svn-id: svn://tug.org/texlive/trunk@41226 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/texlive/texlive-pl/texlive-pl.css')
-rw-r--r--Master/texmf-dist/doc/texlive/texlive-pl/texlive-pl.css30
1 files changed, 15 insertions, 15 deletions
diff --git a/Master/texmf-dist/doc/texlive/texlive-pl/texlive-pl.css b/Master/texmf-dist/doc/texlive/texlive-pl/texlive-pl.css
index 59ffd3fe903..8bc028dee7e 100644
--- a/Master/texmf-dist/doc/texlive/texlive-pl/texlive-pl.css
+++ b/Master/texmf-dist/doc/texlive/texlive-pl/texlive-pl.css
@@ -93,21 +93,6 @@
.ec-lmbx-10{ font-weight: bold;}
.ec-lmbx-10{ font-weight: bold;}
.ec-lmr-7{font-size:70%;}
-.ec-lmtt-8{font-size:80%; font-family: monospace;}
-.ec-lmtt-8{ font-family: monospace;}
-.ec-lmtt-8{ font-family: monospace;}
-.ec-lmtt-8{ font-family: monospace;}
-.ec-lmtt-8{ font-family: monospace;}
-.ec-lmtt-8{ font-family: monospace;}
-.ec-lmtt-8{ font-family: monospace;}
-.ec-lmtt-8{ font-family: monospace;}
-.ec-lmtt-8{ font-family: monospace;}
-.ec-lmtt-8{ font-family: monospace;}
-.ec-lmtt-8{ font-family: monospace;}
-.ec-lmtt-8{ font-family: monospace;}
-.ec-lmtt-8{ font-family: monospace;}
-.ec-lmtt-8{ font-family: monospace;}
-.ec-lmtt-8{ font-family: monospace;}
.ec-lmtk-10{ font-family: monospace;}
.ec-lmtk-10{ font-family: monospace;}
.ec-lmtk-10{ font-family: monospace;}
@@ -123,6 +108,21 @@
.ec-lmtk-10{ font-family: monospace;}
.ec-lmtk-10{ font-family: monospace;}
.ec-lmtk-10{ font-family: monospace;}
+.ec-lmtt-8{font-size:80%; font-family: monospace;}
+.ec-lmtt-8{ font-family: monospace;}
+.ec-lmtt-8{ font-family: monospace;}
+.ec-lmtt-8{ font-family: monospace;}
+.ec-lmtt-8{ font-family: monospace;}
+.ec-lmtt-8{ font-family: monospace;}
+.ec-lmtt-8{ font-family: monospace;}
+.ec-lmtt-8{ font-family: monospace;}
+.ec-lmtt-8{ font-family: monospace;}
+.ec-lmtt-8{ font-family: monospace;}
+.ec-lmtt-8{ font-family: monospace;}
+.ec-lmtt-8{ font-family: monospace;}
+.ec-lmtt-8{ font-family: monospace;}
+.ec-lmtt-8{ font-family: monospace;}
+.ec-lmtt-8{ font-family: monospace;}
.ec-lmro-10{ font-style: oblique;}
.ec-lmro-10{ font-style: oblique;}
.ec-lmro-10{ font-style: oblique;}