Index: tools/md_browser/header.html |
diff --git a/tools/md_browser/header.html b/tools/md_browser/header.html |
index 1493ec3859dd86e288afba46f3fbf9e474145dac..36b15540ec69fc7f2690a8635881c289f7bd9a22 100644 |
--- a/tools/md_browser/header.html |
+++ b/tools/md_browser/header.html |
@@ -1,8 +1,15 @@ |
<!DOCTYPE HTML PUBLIC "-//W3CDTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd"> |
-<html class="doc-page"> |
+<html> |
<head> |
<meta charset="UTF-8" /> |
+<link rel="stylesheet" type="text/css" href="/base.css" /> |
<link rel="stylesheet" type="text/css" href="/doc.css" /> |
+<link rel="stylesheet" type="text/css" href="/prettify.css" /> |
</head> |
-<body> |
+<body class="Site"> |
+<header class="Site-header"> |
+ <div class="Header"></div> |
+</header> |
+<div class="Site-content Site-Content--markdown"> |
+<div class="Container"> |
<div class="doc"> |