summaryrefslogtreecommitdiff
path: root/macros/texinfo/texinfo/tp/t/results/formatting/float_copying/res_html/public-domain-anchor.html
diff options
context:
space:
mode:
Diffstat (limited to 'macros/texinfo/texinfo/tp/t/results/formatting/float_copying/res_html/public-domain-anchor.html')
-rw-r--r--macros/texinfo/texinfo/tp/t/results/formatting/float_copying/res_html/public-domain-anchor.html12
1 files changed, 7 insertions, 5 deletions
diff --git a/macros/texinfo/texinfo/tp/t/results/formatting/float_copying/res_html/public-domain-anchor.html b/macros/texinfo/texinfo/tp/t/results/formatting/float_copying/res_html/public-domain-anchor.html
index 32b9ea432b..e9f1a9c61b 100644
--- a/macros/texinfo/texinfo/tp/t/results/formatting/float_copying/res_html/public-domain-anchor.html
+++ b/macros/texinfo/texinfo/tp/t/results/formatting/float_copying/res_html/public-domain-anchor.html
@@ -1,15 +1,15 @@
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
+<!-- Created by texinfo, http://www.gnu.org/software/texinfo/ -->
+<!-- This file redirects to the location of a node or anchor -->
+<head>
+<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<!--
Copyright notice, public domain
Public domain is not really a licence, as it means than
the author abandon his copyright.
-->
-<!-- Created by texinfo, http://www.gnu.org/software/texinfo/ -->
-<!-- This file redirects to the location of a node or anchor -->
-<head>
-<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<title>public domain anchor (Top)</title>
<meta name="description" content="public domain anchor (Top)">
@@ -19,11 +19,11 @@ the author abandon his copyright.
<meta name="Generator" content="texi2any">
<style type="text/css">
<!--
+a.copiable-anchor {visibility: hidden; text-decoration: none; line-height: 0em}
a.summary-letter {text-decoration: none}
blockquote.indentedblock {margin-right: 0em}
div.display {margin-left: 3.2em}
div.example {margin-left: 3.2em}
-div.lisp {margin-left: 3.2em}
kbd {font-style: oblique}
pre.display {font-family: inherit}
pre.format {font-family: inherit}
@@ -32,11 +32,13 @@ pre.menu-preformatted {font-family: serif}
span.nolinebreak {white-space: nowrap}
span.roman {font-family: initial; font-weight: normal}
span.sansserif {font-family: sans-serif; font-weight: normal}
+span:hover a.copiable-anchor {visibility: visible}
ul.no-bullet {list-style: none}
-->
</style>
<meta http-equiv="Refresh" content="0; url=index.html#public-domain-anchor">
+<meta name="viewport" content="width=device-width,initial-scale=1">
</head>