1 files changed, 18 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/hyperref/manual.css b/Master/texmf-dist/doc/latex/hyperref/manual.css
index e7c1961ba25..9fbec5d532e 100644
--- a/Master/texmf-dist/doc/latex/hyperref/manual.css
+++ b/Master/texmf-dist/doc/latex/hyperref/manual.css
@@ -12,6 +12,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;}
@@ -24,6 +25,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;}
@@ -36,6 +38,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;}
@@ -60,6 +64,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;}
@@ -71,6 +76,19 @@
 .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-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.noindent { text-indent: 0em }
 td p.noindent { text-indent: 0em; margin-top:0em; }
 p.nopar { text-indent: 0em; }