aboutsummaryrefslogtreecommitdiff
path: root/template.html
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2015-01-12 20:36:22 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2015-01-12 20:42:30 -0800
commitfed6a57f30ecdbcf4805b1900dd0f164856c1163 (patch)
tree95a4f05799af5f08fe88d50d35d05a5c7a188fae /template.html
parent6740322cc41a4f65c1dba81bb4dfe9b8621dc430 (diff)
Moved templates, makespec.py, and specfilter.hs -> tools/.
Diffstat (limited to 'template.html')
-rw-r--r--template.html110
1 files changed, 0 insertions, 110 deletions
diff --git a/template.html b/template.html
deleted file mode 100644
index a5cc081..0000000
--- a/template.html
+++ /dev/null
@@ -1,110 +0,0 @@
-<!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>