aboutsummaryrefslogtreecommitdiff
path: root/tools/template.html
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2015-01-15 16:08:03 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2015-01-15 16:08:03 -0800
commit75007b20b4071ad4c6f7168b98c3218739693769 (patch)
tree56f11b338bd13085547be8245d484554b2ee859c /tools/template.html
parent604c15c301a634a7c237e2336296d2d86d771fcf (diff)
Re-added tools/{makespec.py, template.html, template.tex}.
These were inadvertently dropped in the commit that described them as being moved to tools/.
Diffstat (limited to 'tools/template.html')
-rw-r--r--tools/template.html110
1 files changed, 110 insertions, 0 deletions
diff --git a/tools/template.html b/tools/template.html
new file mode 100644
index 0000000..a5cc081
--- /dev/null
+++ b/tools/template.html
@@ -0,0 +1,110 @@
+<!DOCTYPE html>
+<html>
+<head>
+<meta charset="UTF-8">
+<title>${title}</title>
+<style type="text/css">
+ body { font-family: Helvetica, arial, freesans, clean, sans-serif;
+ line-height: 1.4;
+ max-width: 48em;
+ margin: auto;
+ color: #333333;
+ background-color: #fff;
+ font-size: 13pt;
+ }
+div#TOC ul { list-style: none; }
+h1 { font-size: 140%; font-weight: bold; border-top: 1px solid gray; padding-top: 0.5em; }
+h2 { font-size: 120%; font-weight: bold; }
+h3 { font-size: 110%; font-weight: bold; }
+h4 { font-size: 100%; font-weight: bold; }
+a.definition { font-weight: bold; }
+span.space { position: relative; }
+span.space:after {
+ content: "·";
+ position: absolute;
+ /* create a mark that indicates a space (trick from D. Greenspan) */
+ top: 0px; bottom: 7px; left: 1px; right: 1px;
+ color: #AAA;
+}
+div.example { overflow: hidden; }
+p { text-align: justify; }
+pre { padding: 0.5em; margin-left: 0; margin-right: 0; margin-top: 0.2em;
+ margin-bottom: 0.5em; font-size: 88%; }
+pre {
+ white-space: pre-wrap; /* css-3 */
+ white-space: -moz-pre-wrap; /* Mozilla, since 1999 */
+ white-space: -pre-wrap; /* Opera 4-6 */
+ white-space: -o-pre-wrap; /* Opera 7 */
+ word-wrap: break-word; /* Internet Explorer 5.5+ */
+}
+code { font-family: monospace; background-color: #D3E1E4; }
+pre > code { background-color: transparent; }
+div.example > pre { float:left; width: 48%; }
+div.example > pre:nth-child(2) { clear:left; background-color: #D3E1E4; }
+div.example > pre:nth-child(3) { clear:right; background-color: #C9CaCE; }
+#watermark {
+ position:fixed;
+ bottom:0px;
+ left:0px;
+ padding: 1em;
+ width: 100%;
+ font-size: 120%;
+ opacity:0.7;
+ z-index:99;
+ color: white;
+}
+#watermark a { color: white; }
+div.examplenum { font-size: 82%; text-align: left; }
+a.dingus { color: red; cursor: pointer; }
+a.footnoteRef > sup:before {
+ content: "[";
+}
+a.footnoteRef > sup:after {
+ content: "]";
+}
+a.footnoteRef > sup {
+ vertical-align: baseline;
+ font-size: 100%;
+}
+</style>
+<script src="//code.jquery.com/jquery-1.11.0.min.js"></script>
+<script type="text/javascript">
+$$(document).ready(function() {
+ $$("div.example").each(function(e) {
+ var t = $$(this).find('code.markdown').text();
+ $$(this).find('a.dingus').click(function(f) {
+ window.open('/dingus.html?text=' +
+ encodeURIComponent(t.replace(/→/g,"\t")));
+ });
+ });
+ $$("code.markdown").dblclick(function(e) { window.open('/dingus.html?text=' +
+ encodeURIComponent($$(this).find('code').text()));
+ });
+});
+</script>
+</head>
+<body>
+<h1 class="title">${title}</h1>
+<div class="version">Version ${version} (${date})</div>
+<div class="authors">
+ <span class="author">${author}</span>
+</div>
+<div class="license">
+<a rel="license"
+ href="http://creativecommons.org/licenses/by-sa/4.0/"><img alt="Creative
+ Commons BY-SA" style="border-width:0"
+ src="https://i.creativecommons.org/l/by-sa/4.0/80x15.png"
+ /></a><br/><span style="display:none"><span xmlns:dct="http://purl.org/dc/terms/"
+ href="http://purl.org/dc/dcmitype/Text" property="dct:title"
+ rel="dct:type">CommonMark Spec</span> by
+ <a xmlns:cc="http://creativecommons.org/ns#"
+ href="http://spec.commonmark.org" property="cc:attributionName"
+ rel="cc:attributionURL">John MacFarlane</a> is licensed under a
+ <a rel="license"
+ href="http://creativecommons.org/licenses/by-sa/4.0/">Creative
+ Commons Attribution-ShareAlike 4.0 International License</a>.</span>
+</div>
+<div id="watermark"></div>
+${body}
+</body>
+</html>