summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/hyperref/hyperref-doc.css
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/latex/hyperref/hyperref-doc.css')
-rw-r--r--Master/texmf-dist/doc/latex/hyperref/hyperref-doc.css30
1 files changed, 15 insertions, 15 deletions
diff --git a/Master/texmf-dist/doc/latex/hyperref/hyperref-doc.css b/Master/texmf-dist/doc/latex/hyperref/hyperref-doc.css
index 4586a1cd3a6..2e54f25f3b4 100644
--- a/Master/texmf-dist/doc/latex/hyperref/hyperref-doc.css
+++ b/Master/texmf-dist/doc/latex/hyperref/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;}