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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en">
<head>
<meta charset="utf-8"/>
$if(section)$
<title>$title$($section$)</title>
$else$
<title>$title$</title>
$endif$
<meta name="description" content="$description$"/>
<meta name="viewport" content="width=device-width, initial-scale=1"/>
<link rel="shortcut icon" type="image/x-icon" href="favicon.ico"/>
<link rel="icon" type="image/x-icon" href="favicon.ico"/>
<link href="style.css" rel="stylesheet"/>
<style>#top-nav a[href="$output_basename$"] {color: darkblue}</style>
</head>
<body>
<div id="main-grid">
<header>
<div id="top-title">dte text editor</div>
<nav id="top-nav">
<a href="index.html">About</a>
<a href="releases.html">Releases</a>
<a href="dte.html">dte</a>
<a href="dterc.html">dterc</a>
<a href="dte-syntax.html">dte-syntax</a>
</nav>
</header>
<nav id="toc">
$toc$
</nav>
<main>
$body$
</main>
<footer>
<p>© Craig Barnes 2017-2021</p>
</footer>
</div>
<!--
This hack prevents a Chromium bug that causes "a:hover" color
transitions to fire on every page load.
See: bugs.chromium.org/p/chromium/issues/detail?id=332189#c20
-->
<script> </script>
</body>
</html>
|
