diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-01-15 16:08:03 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-01-15 16:08:03 -0800 |
| commit | 75007b20b4071ad4c6f7168b98c3218739693769 (patch) | |
| tree | 56f11b338bd13085547be8245d484554b2ee859c /tools/template.html | |
| parent | 604c15c301a634a7c237e2336296d2d86d771fcf (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.html | 110 |
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> |