aboutsummaryrefslogtreecommitdiff
path: root/template.html
blob: 0924c7dd9025407beb03990e1cc4e076fbd2f396 (plain)
  1. <!DOCTYPE html>
  2. <html>
  3. <head>
  4. <meta charset="UTF-8">
  5. <title>$title$</title>
  6. <style type="text/css">
  7. body { font-family: Helvetica, arial, freesans, clean, sans-serif;
  8. line-height: 1.4;
  9. max-width: 48em;
  10. margin: auto;
  11. color: #333333;
  12. background-color: #fff;
  13. font-size: 13pt;
  14. }
  15. div#TOC ul { list-style: none; }
  16. h1 { font-size: 140%; font-weight: bold; border-top: 1px solid gray; padding-top: 0.5em; }
  17. h2 { font-size: 120%; font-weight: bold; }
  18. h3 { font-size: 110%; font-weight: bold; }
  19. h4 { font-size: 100%; font-weight: bold; }
  20. a.definition { font-weight: bold; }
  21. span.space { position: relative; }
  22. span.space:after {
  23. content: "·";
  24. position: absolute;
  25. /* create a mark that indicates a space (trick from D. Greenspan) */
  26. top: 0px; bottom: 7px; left: 1px; right: 1px;
  27. color: #AAA;
  28. }
  29. div.example { overflow: hidden; }
  30. p { text-align: justify; }
  31. pre { padding: 0.5em; margin-left: 0; margin-right: 0; margin-top: 0.2em;
  32. margin-bottom: 0.5em; font-size: 88%; }
  33. pre {
  34. white-space: pre-wrap; /* css-3 */
  35. white-space: -moz-pre-wrap; /* Mozilla, since 1999 */
  36. white-space: -pre-wrap; /* Opera 4-6 */
  37. white-space: -o-pre-wrap; /* Opera 7 */
  38. word-wrap: break-word; /* Internet Explorer 5.5+ */
  39. }
  40. code { font-family: monospace; background-color: #D3E1E4; }
  41. pre > code { background-color: transparent; }
  42. div.example > pre { float:left; width: 48%; }
  43. div.example > pre.markdown { clear:left; }
  44. pre.tree { font-weight: bold; color: #777; }
  45. pre.markdown { background-color: #D3E1E4; }
  46. pre.html { background-color: #C9CaCE; }
  47. #watermark {
  48. position:fixed;
  49. bottom:0px;
  50. left:0px;
  51. padding: 1em;
  52. width: 100%;
  53. font-size: 120%;
  54. opacity:0.7;
  55. z-index:99;
  56. color: white;
  57. }
  58. #watermark a { color: white; }
  59. div.examplenum { font-size: 82%; text-align: left; }
  60. a.dingus { color: red; cursor: pointer; }
  61. a.footnoteRef > sup:before {
  62. content: "[";
  63. }
  64. a.footnoteRef > sup:after {
  65. content: "]";
  66. }
  67. a.footnoteRef > sup {
  68. vertical-align: baseline;
  69. font-size: 100%;
  70. }
  71. footer { font-size: 82%; text-align: center; margin-top: 1em;
  72. margin-bottom: 1em; }
  73. </style>
  74. <script src="//code.jquery.com/jquery-1.11.0.min.js"></script>
  75. <script type="text/javascript">
  76. $$(document).ready(function() {
  77. $$("div.example").each(function(e) {
  78. var t = $$(this).find('pre.markdown > code').text();
  79. $$(this).find('a.dingus').click(function(f) {
  80. window.open('/dingus.html?text=' +
  81. encodeURIComponent(t.replace(/→/g,"\t")));
  82. });
  83. });
  84. $$("pre.markdown").dblclick(function(e) { window.open('/dingus.html?text=' +
  85. encodeURIComponent($$(this).find('code').text()));
  86. });
  87. });
  88. </script>
  89. </head>
  90. <body>
  91. $if(title)$
  92. <h1 class="title">$title$</h1>
  93. $endif$
  94. $if(version)$
  95. <div class="version">Version $version$ ($date$)</div>
  96. $endif$
  97. <div class="authors">
  98. $for(author)$<span class="author">$author$</span>$sep$; $endfor$
  99. </div>
  100. <div class="license">
  101. <a rel="license"
  102. href="http://creativecommons.org/licenses/by-sa/4.0/"><img alt="Creative
  103. Commons BY-SA" style="border-width:0"
  104. src="https://i.creativecommons.org/l/by-sa/4.0/80x15.png"
  105. /></a><br/><span style="display:none"><span xmlns:dct="http://purl.org/dc/terms/"
  106. href="http://purl.org/dc/dcmitype/Text" property="dct:title"
  107. rel="dct:type">CommonMark Spec</span> by
  108. <a xmlns:cc="http://creativecommons.org/ns#"
  109. href="http://spec.commonmark.org" property="cc:attributionName"
  110. rel="cc:attributionURL">John MacFarlane</a> is licensed under a
  111. <a rel="license"
  112. href="http://creativecommons.org/licenses/by-sa/4.0/">Creative
  113. Commons Attribution-ShareAlike 4.0 International License</a>.</span>
  114. </div>
  115. <div id="TOC">
  116. $toc$
  117. </div>
  118. <div id="watermark"></div>
  119. $body$
  120. <footer>
  121. <a rel="license"
  122. href="http://creativecommons.org/licenses/by-sa/4.0/"><img alt="Creative
  123. Commons BY-SA" style="border-width:0"
  124. src="https://i.creativecommons.org/l/by-sa/4.0/80x15.png"
  125. /></a><br/><span xmlns:dct="http://purl.org/dc/terms/"
  126. href="http://purl.org/dc/dcmitype/Text" property="dct:title"
  127. rel="dct:type">CommonMark Spec</span> by
  128. <a xmlns:cc="http://creativecommons.org/ns#"
  129. href="http://spec.commonmark.org" property="cc:attributionName"
  130. rel="cc:attributionURL">John MacFarlane</a> is licensed under a
  131. <a rel="license"
  132. href="http://creativecommons.org/licenses/by-sa/4.0/">Creative
  133. Commons Attribution-ShareAlike 4.0 International License</a>.
  134. </footer>
  135. </body>
  136. </html>