diff options
Diffstat (limited to 'doxygen/header.html')
-rw-r--r-- | doxygen/header.html | 46 |
1 files changed, 46 insertions, 0 deletions
diff --git a/doxygen/header.html b/doxygen/header.html new file mode 100644 index 00000000000..6d4327e691e --- /dev/null +++ b/doxygen/header.html @@ -0,0 +1,46 @@ +<!-- HTML header for doxygen 1.8.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="X-UA-Compatible" content="IE=edge"> + <!-- For Mobile Devices --> + <meta name="viewport" content="width=device-width, initial-scale=1"> + + <meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/> + <meta name="generator" content="Doxygen $doxygenversion"/> + + <script type="text/javascript" src="https://code.jquery.com/jquery-2.1.1.min.js"></script> + <script type="text/javascript" src="http://stevenbenner.github.io/jquery-powertip/scripts/jquery.powertip.js"></script> + + <!--BEGIN PROJECT_NAME--><title>$projectname: $title</title><!--END PROJECT_NAME--> + <!--BEGIN !PROJECT_NAME--><title>$title</title><!--END !PROJECT_NAME--> + <!--<link href="$relpath^tabs.css" rel="stylesheet" type="text/css"/>--> + <script type="text/javascript" src="$relpath^dynsections.js"></script> + $treeview + $search + + <link href="$relpath^$stylesheet" rel="stylesheet" type="text/css" /> + + <link rel="stylesheet" href="http://bootswatch.com/journal/bootstrap.min.css"> + <script src="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.1/js/bootstrap.min.js"></script> + <script type="text/javascript" src="$relpath^doxy-boot.js"></script> + + $extrastylesheet + + </head> + <body> + <nav class="navbar navbar-default" role="navigation"> + <div class="container"> + <div class="navbar-header"> + <span class="navbar-brand">$projectname $projectnumber</span> + </div> + <div class="navbar-header"> + <span class="navbar-brand brief">$projectbrief</span> + </div> + </div> + </nav> + + <div id="top"><!-- do not remove this div, it is closed by doxygen! --> + <div class="content" id="content"> + +<!-- end header part --> |