1 files changed, 73 insertions, 0 deletions
diff --git a/src/third_party/wiredtiger/src/docs/style/header-web.html b/src/third_party/wiredtiger/src/docs/style/header-web.html
new file mode 100644
index 00000000000..63b22bb763e
--- /dev/null
+++ b/src/third_party/wiredtiger/src/docs/style/header-web.html
@@ -0,0 +1,73 @@
+<!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"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
+<!--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$jquery.js"></script>
+<script type="text/javascript" src="$relpath$dynsections.js"></script>
+$treeview
+$search
+$mathjax
+<link href="$relpath$$stylesheet" rel="stylesheet" type="text/css" />
+$extrastylesheet
+</head>
+<body>
+<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
+
+<!--BEGIN TITLEAREA-->
+<div id="titlearea">
+<table cellspacing="0" cellpadding="0">
+ <tbody>
+ <tr style="height: 56px;">
+  <!--BEGIN PROJECT_LOGO-->
+  <td id="projectlogo"><a href="http://wiredtiger.com/"><img alt="Logo" src="$relpath$$projectlogo" alt="WiredTiger" /></a></td>
+  <!--END PROJECT_LOGO-->
+  <!--BEGIN PROJECT_NAME-->
+  <td style="padding-left: 0.5em;">
+   <div id="projectname">
+   <!--BEGIN PROJECT_NUMBER--><span id="projectnumber"><!--$projectnumber--></span><!--END PROJECT_NUMBER-->
+   <!--BEGIN PROJECT_BRIEF-->
+   <div id="projectbrief">
+
+     <script type="text/javascript">
+     window.addEventListener("load",function(){
+       document.getElementById("version_select").options.namedItem("$projectbrief").selected=true;
+    },false);
+     </script>
+
+     <select id="version_select" onchange="window.location=window.location.href.replace('$projectbrief',this.value);">
+       <option name="$projectbrief" value="$projectbrief">$projectnumber</option>
+       <option name="stable" value="stable">Latest stable release</option>
+       <option name="develop" value="develop">Current develop branch</option>
+       <option name="mongodb-3.2" value="mongodb-3.2">MongoDB 3.2</option>
+       <option name="mongodb-3.4" value="mongodb-3.4">MongoDB 3.4</option>
+     </select>
+    </div><!--END PROJECT_BRIEF-->
+  </div>
+  </td>
+  <!--END PROJECT_NAME-->
+  <!--BEGIN !PROJECT_NAME-->
+   <!--BEGIN PROJECT_BRIEF-->
+    <td style="padding-left: 0.5em;">
+    <div id="projectbrief">$projectbrief</div>
+    </td>
+   <!--END PROJECT_BRIEF-->
+  <!--END !PROJECT_NAME-->
+  <!--BEGIN DISABLE_INDEX-->
+   <!--BEGIN SEARCHENGINE-->
+   <td>$searchbox</td>
+   <!--END SEARCHENGINE-->
+  <!--END DISABLE_INDEX-->
+ </tr>
+ </tbody>
+</table>
+</div>
+<div class="banner">
+  <a href="https://github.com/wiredtiger/wiredtiger">Fork me on GitHub</a>
+  <a class="last" href="http://groups.google.com/group/wiredtiger-users">Join my user group</a>
+</div>
+<!--END TITLEAREA-->
+<!-- end header part -->