aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
diff options
context:
space:
mode:
authorGravatar Gael Guennebaud <g.gael@free.fr>2020-07-29 19:01:38 +0200
committerGravatar Gael Guennebaud <g.gael@free.fr>2020-07-29 19:01:38 +0200
commitd0f5d4bc509ab2f58f6a67633902a317cfced506 (patch)
tree8286dd788b351f6f8daadd986c9153e8848f34a0 /doc
parent5e484fa11de4e90fc042a29e6cab04667bb2ef6c (diff)
add a banner to advertise the survey
Diffstat (limited to 'doc')
-rw-r--r--doc/eigendoxy_header.html.in3
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/eigendoxy_header.html.in b/doc/eigendoxy_header.html.in
index bb149f8f0..a6b1c1d08 100644
--- a/doc/eigendoxy_header.html.in
+++ b/doc/eigendoxy_header.html.in
@@ -20,6 +20,9 @@ $mathjax
</head>
<body>
+
+<div style="background:#FFDDDD;font-size:120%;text-align:center;margin:0;padding:5px">Please, help us to better know about our user community by answering the following short survey: <a href="https://forms.gle/wpyrxWi18ox9Z5ae9">https://forms.gle/wpyrxWi18ox9Z5ae9</a></div>
+
<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
<!--BEGIN TITLEAREA-->