forked from xavierleroy/coq2html
-
Notifications
You must be signed in to change notification settings - Fork 3
/
coq2html.header
30 lines (25 loc) · 1.07 KB
/
coq2html.header
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
<!DOCTYPE html>
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<title>Module $NAME</title>
<meta name="description" content="Documentation of Coq module $NAME" />
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/katex/dist/katex.min.css">
<script src="https://cdn.jsdelivr.net/npm/markdown-it/dist/markdown-it.min.js"></script>
<script src="https://cdn.jsdelivr.net/npm/katex/dist/katex.min.js"></script>
<script src="https://cdn.jsdelivr.net/npm/markdown-it-texmath/texmath.min.js"></script>
<script src="https://cdn.jsdelivr.net/npm/[email protected]/lib/darkmode-js.min.js"></script>
<link href="coq2html.css" rel="stylesheet" type="text/css" />
<script src="https://cdnjs.cloudflare.com/ajax/libs/jquery/3.3.1/jquery.min.js"></script>
<script type="text/javascript" src="coq2html.js"> </script>
</head>
<body onload="init()">
<main>
<div class="sidebar">
<h2>Files</h2>
$FILES
</div>
<div class="coq">
<div class="content">
<p><a href="./index.html">Top</a></p>
<h1 class="title">Module $NAME</h1>