diff options
Diffstat (limited to 'macros/latex/contrib/hyperref/doc/hyperref-doc.css')
-rw-r--r-- | macros/latex/contrib/hyperref/doc/hyperref-doc.css | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/macros/latex/contrib/hyperref/doc/hyperref-doc.css b/macros/latex/contrib/hyperref/doc/hyperref-doc.css index 2e54f25f3b..1b4e83d6c6 100644 --- a/macros/latex/contrib/hyperref/doc/hyperref-doc.css +++ b/macros/latex/contrib/hyperref/doc/hyperref-doc.css @@ -16,6 +16,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-lmvtt-10x-x-120{font-size:120%; font-family: monospace,monospace;} .ec-lmvtt-10x-x-120{ font-family: monospace,monospace;} @@ -32,6 +33,8 @@ .ec-lmvtt-10x-x-120{ font-family: monospace,monospace;} .ec-lmvtt-10x-x-120{ font-family: monospace,monospace;} .ec-lmvtt-10x-x-120{ font-family: monospace,monospace;} +.ec-lmvtt-10x-x-120{ font-family: monospace,monospace;} +.ec-lmvtt-10{ font-family: monospace,monospace;} .ec-lmvtt-10{ font-family: monospace,monospace;} .ec-lmvtt-10{ font-family: monospace,monospace;} .ec-lmvtt-10{ font-family: monospace,monospace;} @@ -62,6 +65,7 @@ .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;} .lmsy7-{font-size:70%;} .ec-lmr-9{font-size:90%;} .ec-lmr-8{font-size:80%;} @@ -80,6 +84,7 @@ .ec-lmvtt-10x-x-80{ font-family: monospace,monospace;} .ec-lmvtt-10x-x-80{ font-family: monospace,monospace;} .ec-lmvtt-10x-x-80{ font-family: monospace,monospace;} +.ec-lmvtt-10x-x-80{ font-family: monospace,monospace;} .ec-lmri-10{ font-style:italic;} .ec-lmri-10{ font-style:italic;} .ec-lmri-10{ font-style:italic;} @@ -95,6 +100,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-lmbx-10{ font-weight: bold;} .ec-lmbx-10{ font-weight: bold;} .ec-lmbx-10{ font-weight: bold;} .ec-lmbx-10{ font-weight: bold;} @@ -125,6 +132,7 @@ .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-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;} @@ -140,6 +148,8 @@ .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-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;} @@ -155,6 +165,7 @@ .ec-lmvtk-10{ font-family: monospace,monospace;} .ec-lmvtk-10{ font-family: monospace,monospace;} .ec-lmvtk-10{ font-family: monospace,monospace;} +.ec-lmr-5{font-size:50%;} p{margin-top:0;margin-bottom:0} p.indent{text-indent:0;} p + p{margin-top:1em;} |