src/header_html.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49

"<!DOCTYPE html PUBLIC \"-//W3C//DTD XHTML 1.0 Transitional//EN\" \"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd\">\n"
"<html xmlns=\"http://www.w3.org/1999/xhtml\">\n"
"<head>\n"
"<meta http-equiv=\"Content-Type\" content=\"text/xhtml;charset=UTF-8\"/>\n"
"<meta http-equiv=\"X-UA-Compatible\" content=\"IE=9\"/>\n"
"<!--BEGIN PROJECT_NAME--><title>$projectname: $title</title><!--END PROJECT_NAME-->\n"
"<!--BEGIN !PROJECT_NAME--><title>$title</title><!--END !PROJECT_NAME-->\n"
"<link href=\"$relpath$tabs.css\" rel=\"stylesheet\" type=\"text/css\"/>\n"
"<link href=\"$relpath$$stylesheet\" rel=\"stylesheet\" type=\"text/css\" />\n"
"$treeview\n"
"$search\n"
"$mathjax\n"
"</head>\n"
"<body>\n"
"<div id=\"top\"><!-- do not remove this div! -->\n"
"\n"
"<!--BEGIN TITLEAREA-->\n"
"<div id=\"titlearea\">\n"
"<table cellspacing=\"0\" cellpadding=\"0\">\n"
" <tbody>\n"
" <tr style=\"height: 56px;\">\n"
"  <!--BEGIN PROJECT_LOGO-->\n"
"  <td id=\"projectlogo\"><img alt=\"Logo\" src=\"$relpath$$projectlogo\"/></td>\n"
"  <!--END PROJECT_LOGO-->\n"
"  <!--BEGIN PROJECT_NAME-->\n"
"  <td style=\"padding-left: 0.5em;\">\n"
"   <div id=\"projectname\">$projectname\n"
"   <!--BEGIN PROJECT_NUMBER-->&#160;<span id=\"projectnumber\">$projectnumber</span><!--END PROJECT_NUMBER-->\n"
"   </div>\n"
"   <!--BEGIN PROJECT_BRIEF--><div id=\"projectbrief\">$projectbrief</div><!--END PROJECT_BRIEF-->\n"
"  </td>\n"
"  <!--END PROJECT_NAME-->\n"
"  <!--BEGIN !PROJECT_NAME-->\n"
"   <!--BEGIN PROJECT_BRIEF-->\n"
"    <td style=\"padding-left: 0.5em;\">\n"
"    <div id=\"projectbrief\">$projectbrief</div>\n"
"    </td>\n"
"   <!--END PROJECT_BRIEF-->\n"
"  <!--END !PROJECT_NAME-->\n"
"  <!--BEGIN DISABLE_INDEX-->\n"
"   <!--BEGIN SEARCHENGINE-->\n"
"   <td>$searchbox</td>\n"
"   <!--END SEARCHENGINE-->\n"
"  <!--END DISABLE_INDEX-->\n"
" </tr>\n"
" </tbody>\n"
"</table>\n"
"</div>\n"
"<!--END TITLEAREA-->\n"