CTAN sync 202001220302

1 files changed, 66 insertions, 19 deletions

diff --git a/macros/latex/contrib/hyperref/doc/manual.css b/macros/latex/contrib/hyperref/doc/manual.css
index 6104bdd11a..b857e3efd7 100644
--- a/macros/latex/contrib/hyperref/doc/manual.css
+++ b/macros/latex/contrib/hyperref/doc/manual.css
@@ -14,7 +14,24 @@
 .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-lmss-17{ font-family: sans-serif;}
 .ec-lmr-12{font-size:120%;}
+.ec-lmvtt-10x-x-120{font-size:120%; font-family: monospace;}
+.ec-lmvtt-10x-x-120{ font-family: monospace;}
+.ec-lmvtt-10x-x-120{ font-family: monospace;}
+.ec-lmvtt-10x-x-120{ font-family: monospace;}
+.ec-lmvtt-10x-x-120{ font-family: monospace;}
+.ec-lmvtt-10x-x-120{ font-family: monospace;}
+.ec-lmvtt-10x-x-120{ font-family: monospace;}
+.ec-lmvtt-10x-x-120{ font-family: monospace;}
+.ec-lmvtt-10x-x-120{ font-family: monospace;}
+.ec-lmvtt-10x-x-120{ font-family: monospace;}
+.ec-lmvtt-10x-x-120{ font-family: monospace;}
+.ec-lmvtt-10x-x-120{ font-family: monospace;}
+.ec-lmvtt-10x-x-120{ font-family: monospace;}
+.ec-lmvtt-10x-x-120{ font-family: monospace;}
+.ec-lmvtt-10x-x-120{ font-family: monospace;}
 .ec-lmvtt-10{ font-family: monospace;}
 .ec-lmvtt-10{ font-family: monospace;}
 .ec-lmvtt-10{ font-family: monospace;}
@@ -28,20 +45,10 @@
 .ec-lmvtt-10{ font-family: monospace;}
 .ec-lmvtt-10{ font-family: monospace;}
 .ec-lmvtt-10{ font-family: monospace;}
-.lmsy7-{font-size:70%;}
-.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-lmri-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;}
-.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-lmvtt-10{ font-family: monospace;}
+.ec-lmvtt-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;}
 .ec-lmss-10{ font-family: sans-serif;}
@@ -57,6 +64,39 @@
 .ec-lmss-10{ font-family: sans-serif;}
 .ec-lmr-9{font-size:90%;}
 .ec-lmr-8{font-size:80%;}
+.ec-lmvtt-10x-x-80{font-size:80%; font-family: monospace;}
+.ec-lmvtt-10x-x-80{ font-family: monospace;}
+.ec-lmvtt-10x-x-80{ font-family: monospace;}
+.ec-lmvtt-10x-x-80{ font-family: monospace;}
+.ec-lmvtt-10x-x-80{ font-family: monospace;}
+.ec-lmvtt-10x-x-80{ font-family: monospace;}
+.ec-lmvtt-10x-x-80{ font-family: monospace;}
+.ec-lmvtt-10x-x-80{ font-family: monospace;}
+.ec-lmvtt-10x-x-80{ font-family: monospace;}
+.ec-lmvtt-10x-x-80{ font-family: monospace;}
+.ec-lmvtt-10x-x-80{ font-family: monospace;}
+.ec-lmvtt-10x-x-80{ font-family: monospace;}
+.ec-lmvtt-10x-x-80{ font-family: monospace;}
+.ec-lmvtt-10x-x-80{ font-family: monospace;}
+.ec-lmvtt-10x-x-80{ font-family: monospace;}
+.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-lmri-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;}
+.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-lmri-10{ font-style:italic;}
+.ec-lmri-10{ font-style:italic;}
+.lmsy7-{font-size:70%;}
+.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-lmbx-10{ font-weight: bold;}
@@ -83,6 +123,10 @@
 .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-lmss-8{ font-family: sans-serif;}
+.ec-lmvtk-10{ font-family: monospace;}
+.ec-lmvtk-10{ font-family: monospace;}
 .ec-lmvtk-10{ font-family: monospace;}
 .ec-lmvtk-10{ font-family: monospace;}
 .ec-lmvtk-10{ font-family: monospace;}
@@ -109,10 +153,13 @@
 .ec-lmvtto-10{ font-style: oblique; font-family: monospace;}
 .ec-lmvtto-10{ font-style: oblique; font-family: monospace;}
 .ec-lmvtto-10{ font-style: oblique; font-family: monospace;}
-p.noindent { text-indent: 0em }
-td p.noindent { text-indent: 0em; margin-top:0em; }
-p.nopar { text-indent: 0em; }
-p.indent{ text-indent: 1.5em }
+.ec-lmvtto-10{ font-style: oblique; font-family: monospace;}
+.ec-lmvtto-10{ font-style: oblique; font-family: monospace;}
+p{margin-top:0;margin-bottom:0}
+p.indent{text-indent:0;}
+p + p{margin-top:1em;}
+p + div, p + pre {margin-top:1em;}
+div + p, pre + p {margin-top:1em;}
 @media print {div.crosslinks {visibility:hidden;}}
 a img { border-top: 0; border-left: 0; border-right: 0; }
 center { margin-top:1em; margin-bottom:1em; }
@@ -135,7 +182,7 @@ div.obeylines-v p { margin-top:0; margin-bottom:0; }
 td.displaylines {text-align:center; white-space:nowrap;}
 .centerline {text-align:center;}
 .rightline {text-align:right;}
-div.verbatim {font-family: monospace; white-space: nowrap; text-align:left; clear:both; }
+div.verbatim {font-family: monospace,monospace; white-space: nowrap; text-align:left; clear:both; }
 .fbox {padding-left:3.0pt; padding-right:3.0pt; text-indent:0pt; border:solid black 0.4pt; }
 div.fbox {display:table}
 div.center div.fbox {text-align:center; clear:both; padding-left:3.0pt; padding-right:3.0pt; text-indent:0pt; border:solid black 0.4pt; }