header.html 478 B

1234567891011121314
  1. <!DOCTYPE HTML PUBLIC "-//W3CDTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
  2. <html>
  3. <head>
  4. <meta charset="UTF-8" />
  5. <link rel="stylesheet" type="text/css" href="/base.css" />
  6. <link rel="stylesheet" type="text/css" href="/doc.css" />
  7. <link rel="stylesheet" type="text/css" href="/prettify.css" />
  8. </head>
  9. <body class="Site">
  10. <header class="Site-header">
  11. <div class="Header"></div>
  12. </header>
  13. <div class="Site-content Site-Content--markdown">
  14. <div class="Container">