aboutsummaryrefslogtreecommitdiff
path: root/template.html
blob: 5942a6ce4775a7581642ec7222e5ef129f1b824d (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. span.space { position: relative; }
  21. span.space:after {
  22. content: "";
  23. position: absolute;
  24. /* create a mark that indicates a space (trick from D. Greenspan) */
  25. top: 3px; bottom: 3px; left: 1px; right: 1px;
  26. border: 1px solid #999;
  27. }
  28. div.example { overflow: hidden; }
  29. p { text-align: justify; }
  30. pre { padding: 0.5em; margin-left: 0; margin-right: 0; margin-top: 0.2em;
  31. margin-bottom: 0.5em; font-size: 88%; }
  32. pre {
  33. white-space: pre-wrap; /* css-3 */
  34. white-space: -moz-pre-wrap; /* Mozilla, since 1999 */
  35. white-space: -pre-wrap; /* Opera 4-6 */
  36. white-space: -o-pre-wrap; /* Opera 7 */
  37. word-wrap: break-word; /* Internet Explorer 5.5+ */
  38. }
  39. code { font-family: monospace; }
  40. p code { background-color: #D3E1E4; }
  41. div.example > pre { float:left; width: 48%; }
  42. div.example > pre.markdown { clear:left; }
  43. pre.tree { font-weight: bold; color: #777; }
  44. pre.markdown { background-color: #D3E1E4; }
  45. pre.html { background-color: #C9CaCE; }
  46. pre.html span.space:after {
  47. border: 1px solid #666;
  48. }
  49. div.examplenum { font-size: 82%; text-align: left; }
  50. a.footnoteRef > sup:before {
  51. content: "[";
  52. }
  53. a.footnoteRef > sup:after {
  54. content: "]";
  55. }
  56. a.footnoteRef > sup {
  57. vertical-align: baseline;
  58. font-size: 100%;
  59. }
  60. </style>
  61. </head>
  62. <body>
  63. $if(title)$
  64. <h1 class="title">$title$</h1>
  65. $endif$
  66. $if(version)$
  67. <div class="version">Version $version$ ($date$)</div>
  68. $endif$
  69. <div class="authors">
  70. $for(author)$<span class="author">$author$</span>$sep$; $endfor$
  71. </div>
  72. <div id="TOC">
  73. $toc$
  74. </div>
  75. $body$
  76. </body>
  77. </html>