diff options
author | Staszek Wawrykiewicz <staw@gust.org.pl> | 2016-05-17 23:43:33 +0000 |
---|---|---|
committer | Staszek Wawrykiewicz <staw@gust.org.pl> | 2016-05-17 23:43:33 +0000 |
commit | 96934f52cc846eb6cc9b90c47898e35268ea3adc (patch) | |
tree | 45124be9cbbe8e5b5ae82b619fb6a12d2a856db9 /Master/texmf-dist/doc/texlive/texlive-pl/texlive-pl.css | |
parent | 138e036510b19983e3090120941329a65543b64a (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.css | 30 |
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;} |