Index: tools/md_browser/header.html |
diff --git a/tools/md_browser/header.html b/tools/md_browser/header.html |
new file mode 100644 |
index 0000000000000000000000000000000000000000..939eb943dc4135a53aad532fb8e9d4beceac37da |
--- /dev/null |
+++ b/tools/md_browser/header.html |
@@ -0,0 +1,7 @@ |
+<!DOCTYPE HTML PUBLIC "-//W3CDTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd"> |
+<html class="doc-page"> |
+<head> |
+<link rel="stylesheet" type="text/css" href="/doc.css" /> |
+</head> |
+<body> |
+<div class="doc"> |