diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-01-12 20:36:22 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-01-12 20:42:30 -0800 |
| commit | fed6a57f30ecdbcf4805b1900dd0f164856c1163 (patch) | |
| tree | 95a4f05799af5f08fe88d50d35d05a5c7a188fae /template.html | |
| parent | 6740322cc41a4f65c1dba81bb4dfe9b8621dc430 (diff) | |
Moved templates, makespec.py, and specfilter.hs -> tools/.
Diffstat (limited to 'template.html')
| -rw-r--r-- | template.html | 110 |
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> |