diff options
Diffstat (limited to 'macros/latex/contrib/hyperref/doc/hyperref-doc.css')
-rw-r--r-- | macros/latex/contrib/hyperref/doc/hyperref-doc.css | 30 |
1 files changed, 15 insertions, 15 deletions
diff --git a/macros/latex/contrib/hyperref/doc/hyperref-doc.css b/macros/latex/contrib/hyperref/doc/hyperref-doc.css index 4586a1cd3a..2e54f25f3b 100644 --- a/macros/latex/contrib/hyperref/doc/hyperref-doc.css +++ b/macros/latex/contrib/hyperref/doc/hyperref-doc.css @@ -125,21 +125,6 @@ .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,monospace;} -.ec-lmvtk-10{ font-family: monospace,monospace;} -.ec-lmvtk-10{ font-family: monospace,monospace;} -.ec-lmvtk-10{ font-family: monospace,monospace;} -.ec-lmvtk-10{ font-family: monospace,monospace;} -.ec-lmvtk-10{ font-family: monospace,monospace;} -.ec-lmvtk-10{ font-family: monospace,monospace;} -.ec-lmvtk-10{ font-family: monospace,monospace;} -.ec-lmvtk-10{ font-family: monospace,monospace;} -.ec-lmvtk-10{ font-family: monospace,monospace;} -.ec-lmvtk-10{ font-family: monospace,monospace;} -.ec-lmvtk-10{ font-family: monospace,monospace;} -.ec-lmvtk-10{ font-family: monospace,monospace;} -.ec-lmvtk-10{ font-family: monospace,monospace;} -.ec-lmvtk-10{ font-family: monospace,monospace;} .ec-lmvtto-10{ font-style: oblique; font-family: monospace,monospace;} .ec-lmvtto-10{ font-style: oblique; font-family: monospace,monospace;} .ec-lmvtto-10{ font-style: oblique; font-family: monospace,monospace;} @@ -155,6 +140,21 @@ .ec-lmvtto-10{ font-style: oblique; font-family: monospace,monospace;} .ec-lmvtto-10{ font-style: oblique; font-family: monospace,monospace;} .ec-lmvtto-10{ font-style: oblique; font-family: monospace,monospace;} +.ec-lmvtk-10{ font-family: monospace,monospace;} +.ec-lmvtk-10{ font-family: monospace,monospace;} +.ec-lmvtk-10{ font-family: monospace,monospace;} +.ec-lmvtk-10{ font-family: monospace,monospace;} +.ec-lmvtk-10{ font-family: monospace,monospace;} +.ec-lmvtk-10{ font-family: monospace,monospace;} +.ec-lmvtk-10{ font-family: monospace,monospace;} +.ec-lmvtk-10{ font-family: monospace,monospace;} +.ec-lmvtk-10{ font-family: monospace,monospace;} +.ec-lmvtk-10{ font-family: monospace,monospace;} +.ec-lmvtk-10{ font-family: monospace,monospace;} +.ec-lmvtk-10{ font-family: monospace,monospace;} +.ec-lmvtk-10{ font-family: monospace,monospace;} +.ec-lmvtk-10{ font-family: monospace,monospace;} +.ec-lmvtk-10{ font-family: monospace,monospace;} p{margin-top:0;margin-bottom:0} p.indent{text-indent:0;} p + p{margin-top:1em;} |