summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/texlive/texlive-pl/texlive-pl.css
diff options
context:
space:
mode:
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.css185
1 files changed, 95 insertions, 90 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 1d8a79cc21c..9c8be3c325a 100644
--- a/Master/texmf-dist/doc/texlive/texlive-pl/texlive-pl.css
+++ b/Master/texmf-dist/doc/texlive/texlive-pl/texlive-pl.css
@@ -17,36 +17,36 @@
.ec-lmri-12x-x-172{ font-style:italic;}
.ec-lmri-12x-x-172{ font-style:italic;}
.ec-lmr-12{font-size:120%;}
-.ec-lmtt-12{font-size:120%; font-family: monospace,monospace;}
-.ec-lmtt-12{ font-family: monospace,monospace;}
-.ec-lmtt-12{ font-family: monospace,monospace;}
-.ec-lmtt-12{ font-family: monospace,monospace;}
-.ec-lmtt-12{ font-family: monospace,monospace;}
-.ec-lmtt-12{ font-family: monospace,monospace;}
-.ec-lmtt-12{ font-family: monospace,monospace;}
-.ec-lmtt-12{ font-family: monospace,monospace;}
-.ec-lmtt-12{ font-family: monospace,monospace;}
-.ec-lmtt-12{ font-family: monospace,monospace;}
-.ec-lmtt-12{ font-family: monospace,monospace;}
-.ec-lmtt-12{ font-family: monospace,monospace;}
-.ec-lmtt-12{ font-family: monospace,monospace;}
-.ec-lmtt-12{ font-family: monospace,monospace;}
-.ec-lmtt-12{ font-family: monospace,monospace;}
-.ec-lmtt-10{ font-family: monospace,monospace;}
-.ec-lmtt-10{ font-family: monospace,monospace;}
-.ec-lmtt-10{ font-family: monospace,monospace;}
-.ec-lmtt-10{ font-family: monospace,monospace;}
-.ec-lmtt-10{ font-family: monospace,monospace;}
-.ec-lmtt-10{ font-family: monospace,monospace;}
-.ec-lmtt-10{ font-family: monospace,monospace;}
-.ec-lmtt-10{ font-family: monospace,monospace;}
-.ec-lmtt-10{ font-family: monospace,monospace;}
-.ec-lmtt-10{ font-family: monospace,monospace;}
-.ec-lmtt-10{ font-family: monospace,monospace;}
-.ec-lmtt-10{ font-family: monospace,monospace;}
-.ec-lmtt-10{ font-family: monospace,monospace;}
-.ec-lmtt-10{ font-family: monospace,monospace;}
-.ec-lmtt-10{ font-family: monospace,monospace;}
+.ec-lmtt-12{font-size:120%; font-family: monospace;}
+.ec-lmtt-12{ font-family: monospace;}
+.ec-lmtt-12{ font-family: monospace;}
+.ec-lmtt-12{ font-family: monospace;}
+.ec-lmtt-12{ font-family: monospace;}
+.ec-lmtt-12{ font-family: monospace;}
+.ec-lmtt-12{ font-family: monospace;}
+.ec-lmtt-12{ font-family: monospace;}
+.ec-lmtt-12{ font-family: monospace;}
+.ec-lmtt-12{ font-family: monospace;}
+.ec-lmtt-12{ font-family: monospace;}
+.ec-lmtt-12{ font-family: monospace;}
+.ec-lmtt-12{ font-family: monospace;}
+.ec-lmtt-12{ font-family: monospace;}
+.ec-lmtt-12{ font-family: monospace;}
+.ec-lmtt-10{ font-family: monospace;}
+.ec-lmtt-10{ font-family: monospace;}
+.ec-lmtt-10{ font-family: monospace;}
+.ec-lmtt-10{ font-family: monospace;}
+.ec-lmtt-10{ font-family: monospace;}
+.ec-lmtt-10{ font-family: monospace;}
+.ec-lmtt-10{ font-family: monospace;}
+.ec-lmtt-10{ font-family: monospace;}
+.ec-lmtt-10{ font-family: monospace;}
+.ec-lmtt-10{ font-family: monospace;}
+.ec-lmtt-10{ font-family: monospace;}
+.ec-lmtt-10{ font-family: monospace;}
+.ec-lmtt-10{ font-family: monospace;}
+.ec-lmtt-10{ font-family: monospace;}
+.ec-lmtt-10{ font-family: monospace;}
.ec-lmss-10{ font-family: sans-serif;}
.ec-lmss-10{ font-family: sans-serif;}
.ec-lmss-10{ font-family: sans-serif;}
@@ -94,36 +94,36 @@
.ec-lmbx-10{ font-weight: bold;}
.ec-lmbx-10{ font-weight: bold;}
.ec-lmr-7{font-size:70%;}
-.ec-lmtk-10{ font-family: monospace,monospace;}
-.ec-lmtk-10{ font-family: monospace,monospace;}
-.ec-lmtk-10{ font-family: monospace,monospace;}
-.ec-lmtk-10{ font-family: monospace,monospace;}
-.ec-lmtk-10{ font-family: monospace,monospace;}
-.ec-lmtk-10{ font-family: monospace,monospace;}
-.ec-lmtk-10{ font-family: monospace,monospace;}
-.ec-lmtk-10{ font-family: monospace,monospace;}
-.ec-lmtk-10{ font-family: monospace,monospace;}
-.ec-lmtk-10{ font-family: monospace,monospace;}
-.ec-lmtk-10{ font-family: monospace,monospace;}
-.ec-lmtk-10{ font-family: monospace,monospace;}
-.ec-lmtk-10{ font-family: monospace,monospace;}
-.ec-lmtk-10{ font-family: monospace,monospace;}
-.ec-lmtk-10{ font-family: monospace,monospace;}
-.ec-lmtt-8{font-size:80%; font-family: monospace,monospace;}
-.ec-lmtt-8{ font-family: monospace,monospace;}
-.ec-lmtt-8{ font-family: monospace,monospace;}
-.ec-lmtt-8{ font-family: monospace,monospace;}
-.ec-lmtt-8{ font-family: monospace,monospace;}
-.ec-lmtt-8{ font-family: monospace,monospace;}
-.ec-lmtt-8{ font-family: monospace,monospace;}
-.ec-lmtt-8{ font-family: monospace,monospace;}
-.ec-lmtt-8{ font-family: monospace,monospace;}
-.ec-lmtt-8{ font-family: monospace,monospace;}
-.ec-lmtt-8{ font-family: monospace,monospace;}
-.ec-lmtt-8{ font-family: monospace,monospace;}
-.ec-lmtt-8{ font-family: monospace,monospace;}
-.ec-lmtt-8{ font-family: monospace,monospace;}
-.ec-lmtt-8{ font-family: monospace,monospace;}
+.ec-lmtk-10{ font-family: monospace;}
+.ec-lmtk-10{ font-family: monospace;}
+.ec-lmtk-10{ font-family: monospace;}
+.ec-lmtk-10{ font-family: monospace;}
+.ec-lmtk-10{ font-family: monospace;}
+.ec-lmtk-10{ font-family: monospace;}
+.ec-lmtk-10{ font-family: monospace;}
+.ec-lmtk-10{ font-family: monospace;}
+.ec-lmtk-10{ font-family: monospace;}
+.ec-lmtk-10{ font-family: monospace;}
+.ec-lmtk-10{ font-family: monospace;}
+.ec-lmtk-10{ font-family: monospace;}
+.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;}
@@ -139,36 +139,36 @@
.ec-lmro-10{ font-style: oblique;}
.ec-lmro-10{ font-style: oblique;}
.ec-lmro-10{ font-style: oblique;}
-.ec-lmtt-9{font-size:90%; font-family: monospace,monospace;}
-.ec-lmtt-9{ font-family: monospace,monospace;}
-.ec-lmtt-9{ font-family: monospace,monospace;}
-.ec-lmtt-9{ font-family: monospace,monospace;}
-.ec-lmtt-9{ font-family: monospace,monospace;}
-.ec-lmtt-9{ font-family: monospace,monospace;}
-.ec-lmtt-9{ font-family: monospace,monospace;}
-.ec-lmtt-9{ font-family: monospace,monospace;}
-.ec-lmtt-9{ font-family: monospace,monospace;}
-.ec-lmtt-9{ font-family: monospace,monospace;}
-.ec-lmtt-9{ font-family: monospace,monospace;}
-.ec-lmtt-9{ font-family: monospace,monospace;}
-.ec-lmtt-9{ font-family: monospace,monospace;}
-.ec-lmtt-9{ font-family: monospace,monospace;}
-.ec-lmtt-9{ font-family: monospace,monospace;}
-.ec-lmtti-10{ font-family: monospace,monospace; font-style:italic;}
-.ec-lmtti-10{ font-family: monospace,monospace; font-style:italic;}
-.ec-lmtti-10{ font-family: monospace,monospace; font-style:italic;}
-.ec-lmtti-10{ font-family: monospace,monospace; font-style:italic;}
-.ec-lmtti-10{ font-family: monospace,monospace; font-style:italic;}
-.ec-lmtti-10{ font-family: monospace,monospace; font-style:italic;}
-.ec-lmtti-10{ font-family: monospace,monospace; font-style:italic;}
-.ec-lmtti-10{ font-family: monospace,monospace; font-style:italic;}
-.ec-lmtti-10{ font-family: monospace,monospace; font-style:italic;}
-.ec-lmtti-10{ font-family: monospace,monospace; font-style:italic;}
-.ec-lmtti-10{ font-family: monospace,monospace; font-style:italic;}
-.ec-lmtti-10{ font-family: monospace,monospace; font-style:italic;}
-.ec-lmtti-10{ font-family: monospace,monospace; font-style:italic;}
-.ec-lmtti-10{ font-family: monospace,monospace; font-style:italic;}
-.ec-lmtti-10{ font-family: monospace,monospace; font-style:italic;}
+.ec-lmtt-9{font-size:90%; font-family: monospace;}
+.ec-lmtt-9{ font-family: monospace;}
+.ec-lmtt-9{ font-family: monospace;}
+.ec-lmtt-9{ font-family: monospace;}
+.ec-lmtt-9{ font-family: monospace;}
+.ec-lmtt-9{ font-family: monospace;}
+.ec-lmtt-9{ font-family: monospace;}
+.ec-lmtt-9{ font-family: monospace;}
+.ec-lmtt-9{ font-family: monospace;}
+.ec-lmtt-9{ font-family: monospace;}
+.ec-lmtt-9{ font-family: monospace;}
+.ec-lmtt-9{ font-family: monospace;}
+.ec-lmtt-9{ font-family: monospace;}
+.ec-lmtt-9{ font-family: monospace;}
+.ec-lmtt-9{ font-family: monospace;}
+.ec-lmtti-10{ font-family: monospace; font-style:italic;}
+.ec-lmtti-10{ font-family: monospace; font-style:italic;}
+.ec-lmtti-10{ font-family: monospace; font-style:italic;}
+.ec-lmtti-10{ font-family: monospace; font-style:italic;}
+.ec-lmtti-10{ font-family: monospace; font-style:italic;}
+.ec-lmtti-10{ font-family: monospace; font-style:italic;}
+.ec-lmtti-10{ font-family: monospace; font-style:italic;}
+.ec-lmtti-10{ font-family: monospace; font-style:italic;}
+.ec-lmtti-10{ font-family: monospace; font-style:italic;}
+.ec-lmtti-10{ font-family: monospace; font-style:italic;}
+.ec-lmtti-10{ font-family: monospace; font-style:italic;}
+.ec-lmtti-10{ font-family: monospace; font-style:italic;}
+.ec-lmtti-10{ font-family: monospace; font-style:italic;}
+.ec-lmtti-10{ font-family: monospace; font-style:italic;}
+.ec-lmtti-10{ font-family: monospace; font-style:italic;}
p{margin-top:0;margin-bottom:0}
p.indent{text-indent:0;}
p + p{margin-top:1em;}
@@ -235,6 +235,11 @@ table[rules] {border-left:solid black 0.4pt; border-right:solid black 0.4pt; }
.hline td, .cline td{ padding: 0; }
.hline hr, .cline hr{border:none;border-top:1px solid black;}
.tabbing-right {text-align:right;}
+span.TEX {letter-spacing: -0.125em; }
+span.TEX span.E{ position:relative;top:0.5ex;left:-0.0417em;}
+a span.TEX span.E {text-decoration: none; }
+span.LATEX span.A{ position:relative; top:-0.5ex; left:-0.4em; font-size:85%;}
+span.LATEX span.TEX{ position:relative; left: -0.4em; }
div.float, div.figure {margin-left: auto; margin-right: auto;}
div.float img {text-align:center;}
div.figure img {text-align:center;}