summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/hyperref/doc/manual.css
diff options
context:
space:
mode:
Diffstat (limited to 'macros/latex/contrib/hyperref/doc/manual.css')
-rw-r--r--macros/latex/contrib/hyperref/doc/manual.css155
1 files changed, 75 insertions, 80 deletions
diff --git a/macros/latex/contrib/hyperref/doc/manual.css b/macros/latex/contrib/hyperref/doc/manual.css
index b857e3efd7..c56985d497 100644
--- a/macros/latex/contrib/hyperref/doc/manual.css
+++ b/macros/latex/contrib/hyperref/doc/manual.css
@@ -17,36 +17,36 @@
.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;}
-.ec-lmvtt-10x-x-120{ font-family: monospace;}
-.ec-lmvtt-10x-x-120{ font-family: monospace;}
-.ec-lmvtt-10x-x-120{ font-family: monospace;}
-.ec-lmvtt-10x-x-120{ font-family: monospace;}
-.ec-lmvtt-10x-x-120{ font-family: monospace;}
-.ec-lmvtt-10x-x-120{ font-family: monospace;}
-.ec-lmvtt-10x-x-120{ font-family: monospace;}
-.ec-lmvtt-10x-x-120{ font-family: monospace;}
-.ec-lmvtt-10x-x-120{ font-family: monospace;}
-.ec-lmvtt-10x-x-120{ font-family: monospace;}
-.ec-lmvtt-10x-x-120{ font-family: monospace;}
-.ec-lmvtt-10x-x-120{ font-family: monospace;}
-.ec-lmvtt-10x-x-120{ font-family: monospace;}
-.ec-lmvtt-10x-x-120{ font-family: monospace;}
-.ec-lmvtt-10{ font-family: monospace;}
-.ec-lmvtt-10{ font-family: monospace;}
-.ec-lmvtt-10{ font-family: monospace;}
-.ec-lmvtt-10{ font-family: monospace;}
-.ec-lmvtt-10{ font-family: monospace;}
-.ec-lmvtt-10{ font-family: monospace;}
-.ec-lmvtt-10{ font-family: monospace;}
-.ec-lmvtt-10{ font-family: monospace;}
-.ec-lmvtt-10{ font-family: monospace;}
-.ec-lmvtt-10{ font-family: monospace;}
-.ec-lmvtt-10{ font-family: monospace;}
-.ec-lmvtt-10{ font-family: monospace;}
-.ec-lmvtt-10{ font-family: monospace;}
-.ec-lmvtt-10{ font-family: monospace;}
-.ec-lmvtt-10{ font-family: monospace;}
+.ec-lmvtt-10x-x-120{font-size: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-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-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-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;}
+.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;}
+.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;}
+.ec-lmvtt-10{ font-family: monospace,monospace;}
+.ec-lmvtt-10{ font-family: monospace,monospace;}
+.ec-lmvtt-10{ font-family: monospace,monospace;}
.ec-lmss-10{ font-family: sans-serif;}
.ec-lmss-10{ font-family: sans-serif;}
.ec-lmss-10{ font-family: sans-serif;}
@@ -64,21 +64,21 @@
.ec-lmss-10{ font-family: sans-serif;}
.ec-lmr-9{font-size:90%;}
.ec-lmr-8{font-size:80%;}
-.ec-lmvtt-10x-x-80{font-size:80%; font-family: monospace;}
-.ec-lmvtt-10x-x-80{ font-family: monospace;}
-.ec-lmvtt-10x-x-80{ font-family: monospace;}
-.ec-lmvtt-10x-x-80{ font-family: monospace;}
-.ec-lmvtt-10x-x-80{ font-family: monospace;}
-.ec-lmvtt-10x-x-80{ font-family: monospace;}
-.ec-lmvtt-10x-x-80{ font-family: monospace;}
-.ec-lmvtt-10x-x-80{ font-family: monospace;}
-.ec-lmvtt-10x-x-80{ font-family: monospace;}
-.ec-lmvtt-10x-x-80{ font-family: monospace;}
-.ec-lmvtt-10x-x-80{ font-family: monospace;}
-.ec-lmvtt-10x-x-80{ font-family: monospace;}
-.ec-lmvtt-10x-x-80{ font-family: monospace;}
-.ec-lmvtt-10x-x-80{ font-family: monospace;}
-.ec-lmvtt-10x-x-80{ font-family: monospace;}
+.ec-lmvtt-10x-x-80{font-size: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-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-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-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;}
@@ -125,36 +125,36 @@
.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;}
-.ec-lmvtk-10{ font-family: monospace;}
-.ec-lmvtk-10{ font-family: monospace;}
-.ec-lmvtk-10{ font-family: monospace;}
-.ec-lmvtk-10{ font-family: monospace;}
-.ec-lmvtk-10{ font-family: monospace;}
-.ec-lmvtk-10{ font-family: monospace;}
-.ec-lmvtk-10{ font-family: monospace;}
-.ec-lmvtk-10{ font-family: monospace;}
-.ec-lmvtk-10{ font-family: monospace;}
-.ec-lmvtk-10{ font-family: monospace;}
-.ec-lmvtk-10{ font-family: monospace;}
-.ec-lmvtk-10{ font-family: monospace;}
-.ec-lmvtk-10{ font-family: monospace;}
-.ec-lmvtk-10{ font-family: monospace;}
-.ec-lmvtto-10{ font-style: oblique; font-family: monospace;}
-.ec-lmvtto-10{ font-style: oblique; font-family: monospace;}
-.ec-lmvtto-10{ font-style: oblique; font-family: monospace;}
-.ec-lmvtto-10{ font-style: oblique; font-family: monospace;}
-.ec-lmvtto-10{ font-style: oblique; font-family: monospace;}
-.ec-lmvtto-10{ font-style: oblique; font-family: monospace;}
-.ec-lmvtto-10{ font-style: oblique; font-family: monospace;}
-.ec-lmvtto-10{ font-style: oblique; font-family: monospace;}
-.ec-lmvtto-10{ font-style: oblique; font-family: monospace;}
-.ec-lmvtto-10{ font-style: oblique; font-family: monospace;}
-.ec-lmvtto-10{ font-style: oblique; font-family: monospace;}
-.ec-lmvtto-10{ font-style: oblique; font-family: monospace;}
-.ec-lmvtto-10{ font-style: oblique; font-family: monospace;}
-.ec-lmvtto-10{ font-style: oblique; font-family: monospace;}
-.ec-lmvtto-10{ font-style: oblique; font-family: 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;}
+.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-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-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-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;}
p{margin-top:0;margin-bottom:0}
p.indent{text-indent:0;}
p + p{margin-top:1em;}
@@ -219,11 +219,6 @@ table[rules] {border-left:solid black 0.4pt; border-right:solid black 0.4pt; }
.hline td, .cline td{ padding: 0; }
.hline hr, .cline hr{border:none;border-top:1px solid black;}
.tabbing-right {text-align:right;}
-span.TEX {letter-spacing: -0.125em; }
-span.TEX span.E{ position:relative;top:0.5ex;left:-0.0417em;}
-a span.TEX span.E {text-decoration: none; }
-span.LATEX span.A{ position:relative; top:-0.5ex; left:-0.4em; font-size:85%;}
-span.LATEX span.TEX{ position:relative; left: -0.4em; }
div.float, div.figure {margin-left: auto; margin-right: auto;}
div.float img {text-align:center;}
div.figure img {text-align:center;}