diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/hyperref/manual.css')
-rw-r--r-- | Master/texmf-dist/doc/latex/hyperref/manual.css | 20 |
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;} |