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.css17
1 files changed, 14 insertions, 3 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 8bc028dee7e..e5299ef0fa8 100644
--- a/Master/texmf-dist/doc/texlive/texlive-pl/texlive-pl.css
+++ b/Master/texmf-dist/doc/texlive/texlive-pl/texlive-pl.css
@@ -15,6 +15,7 @@
.ec-lmri-12x-x-172{ font-style:italic;}
.ec-lmri-12x-x-172{ font-style:italic;}
.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;}
.ec-lmtt-12{ font-family: monospace;}
@@ -31,6 +32,7 @@
.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;}
@@ -46,6 +48,8 @@
.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;}
.ec-lmss-10{ font-family: sans-serif;}
@@ -61,6 +65,8 @@
.ec-lmss-10{ font-family: sans-serif;}
.ec-lmss-10{ font-family: sans-serif;}
.ec-lmss-10{ font-family: sans-serif;}
+.plmi-10{font-style: italic;}
+.ec-lmri-10{ font-style:italic;}
.ec-lmri-10{ font-style:italic;}
.ec-lmri-10{ font-style:italic;}
.ec-lmri-10{ font-style:italic;}
@@ -76,7 +82,7 @@
.ec-lmri-10{ font-style:italic;}
.ec-lmri-10{ font-style:italic;}
.ec-lmri-10{ font-style:italic;}
-.plmi-10{font-style: italic;}
+.ec-lmbx-10{ font-weight: bold;}
.ec-lmbx-10{ font-weight: bold;}
.ec-lmbx-10{ font-weight: bold;}
.ec-lmbx-10{ font-weight: bold;}
@@ -108,6 +114,7 @@
.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;}
@@ -123,6 +130,8 @@
.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;}
.ec-lmro-10{ font-style: oblique;}
@@ -153,6 +162,8 @@
.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;}
@@ -183,6 +194,7 @@
.ec-lmtt-8x-x-87{ font-family: monospace;}
.ec-lmtt-8x-x-87{ font-family: monospace;}
.ec-lmtt-8x-x-87{ font-family: monospace;}
+.ec-lmtt-8x-x-87{ font-family: monospace;}
p.noindent { text-indent: 0em }
td p.noindent { text-indent: 0em; margin-top:0em; }
p.nopar { text-indent: 0em; }
@@ -227,8 +239,6 @@ div.flushleft {text-align: left;}
.framebox-r {text-align:right;}
span.thank-mark{ vertical-align: super }
span.footnote-mark sup.textsuperscript, span.footnote-mark a sup.textsuperscript{ font-size:80%; }
-div.footnotes{border-top:solid 1px black; border-bottom:solid 1px black; padding-bottom:1ex; padding-top:0.5ex; margin-right:15%; margin-top:2ex; font-style:italic; font-size:85%;}
-div.footnotes p{margin-top:0; margin-bottom:0; text-indent:0;}
div.tabular, div.center div.tabular {text-align: center; margin-top:0.5em; margin-bottom:0.5em; }
table.tabular td p{margin-top:0em;}
table.tabular {margin-left: auto; margin-right: auto;}
@@ -305,6 +315,7 @@ h2.titleHead{text-align:center;}
div.maketitle{ margin-bottom: 2em; }
div.author, div.date {text-align:center;}
div.thanks{text-align:left; margin-left:10%; font-size:85%; font-style:italic; }
+div.author{white-space: nowrap;}
.quotation {margin-bottom:0.25em; margin-top:0.25em; margin-left:1em; }
.abstract p {margin-left:5%; margin-right:5%;}
div.abstract {width:100%;}