summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/hyperref/manual.css
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/latex/hyperref/manual.css')
-rw-r--r--Master/texmf-dist/doc/latex/hyperref/manual.css20
1 files changed, 20 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/hyperref/manual.css b/Master/texmf-dist/doc/latex/hyperref/manual.css
index 9fbec5d532e..4a0b27433de 100644
--- a/Master/texmf-dist/doc/latex/hyperref/manual.css
+++ b/Master/texmf-dist/doc/latex/hyperref/manual.css
@@ -13,6 +13,7 @@
.ec-lmss-17{ font-family: sans-serif;}
.ec-lmss-17{ font-family: sans-serif;}
.ec-lmss-17{ font-family: sans-serif;}
+.ec-lmss-17{ font-family: sans-serif;}
.ec-lmr-12{font-size:120%;}
.ec-lmtt-10{ font-family: monospace;}
.ec-lmtt-10{ font-family: monospace;}
@@ -26,6 +27,7 @@
.ec-lmtt-10{ font-family: monospace;}
.ec-lmtt-10{ font-family: monospace;}
.ec-lmtt-10{ font-family: monospace;}
+.ec-lmtt-10{ font-family: monospace;}
.lmsy7-{font-size:70%;}
.ec-lmri-10{ font-style:italic;}
.ec-lmri-10{ font-style:italic;}
@@ -39,6 +41,8 @@
.ec-lmri-10{ font-style:italic;}
.ec-lmri-10{ font-style:italic;}
.ec-lmri-10{ font-style:italic;}
+.ec-lmri-10{ font-style:italic;}
+.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;}
@@ -65,6 +69,7 @@
.ec-lmbx-10{ font-weight: bold;}
.ec-lmbx-10{ font-weight: bold;}
.ec-lmbx-10{ font-weight: bold;}
+.ec-lmbx-10{ font-weight: bold;}
.ec-lmss-8{font-size:80%; font-family: sans-serif;}
.ec-lmss-8{ font-family: sans-serif;}
.ec-lmss-8{ font-family: sans-serif;}
@@ -77,6 +82,21 @@
.ec-lmss-8{ font-family: sans-serif;}
.ec-lmss-8{ font-family: sans-serif;}
.ec-lmss-8{ font-family: sans-serif;}
+.ec-lmss-8{ font-family: sans-serif;}
+.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-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;}