| 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">
|
|
|