aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/eigendoxy_header.html.in
diff options
context:
space:
mode:
authorGravatar Gael Guennebaud <g.gael@free.fr>2010-10-19 11:40:49 +0200
committerGravatar Gael Guennebaud <g.gael@free.fr>2010-10-19 11:40:49 +0200
commitf66fe2663f9c30b8fb77105432151a392fa12423 (patch)
treeb68070696010c5d70215c3752270eb78304434ec /doc/eigendoxy_header.html.in
parent9f8b6ad43e3e11eff89270616382bc15556895bd (diff)
update CSS to doxygen 1.7.2, new CSS and cleaning of the tutorial
Diffstat (limited to 'doc/eigendoxy_header.html.in')
-rw-r--r--doc/eigendoxy_header.html.in17
1 files changed, 11 insertions, 6 deletions
diff --git a/doc/eigendoxy_header.html.in b/doc/eigendoxy_header.html.in
index 572c47158..db04d821c 100644
--- a/doc/eigendoxy_header.html.in
+++ b/doc/eigendoxy_header.html.in
@@ -1,10 +1,15 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
-<html><head><meta http-equiv="Content-Type" content="text/html;charset=UTF-8">
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<title>$title</title>
-<link href="eigendoxy.css" rel="stylesheet" type="text/css">
-<link href="eigendoxy_tabs.css" rel="stylesheet" type="text/css">
-</head><body>
+<link href="$relpath$eigendoxy_tabs.css" rel="stylesheet" type="text/css">
+<link href="$relpath$search/search.css" rel="stylesheet" type="text/css"/>
+<script type="text/javaScript" src="$relpath$search/search.js"></script>
+<link href="$relpath$eigendoxy.css" rel="stylesheet" type="text/css">
+</head>
+<body onload='searchBox.OnSelectItem(0);'>
<a name="top"></a>
<a class="logo" href="http://eigen.tuxfamily.org/">
<img src="Eigen_Silly_Professor_64x64.png" width=64 height=64 alt="Eigen's silly professor"
- style="position:absolute; border:none" /></a> \ No newline at end of file
+ style="position:absolute; border:none; right:10px; top:10px" /></a>