summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/hyperref/doc/hyperref-doc.css
diff options
context:
space:
mode:
Diffstat (limited to 'macros/latex/contrib/hyperref/doc/hyperref-doc.css')
-rw-r--r--macros/latex/contrib/hyperref/doc/hyperref-doc.css30
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;}