aboutsummaryrefslogtreecommitdiff
path: root/template.html
blob: 2286c6892d178190f577e3849c3b68ea4d42d1e4 (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: arial, sans-serif; line-height: 1.4em; max-width: 52em;
  8. margin: 3em; }
  9. div#TOC ul { list-style: none; }
  10. h1 { font-size: 140%; font-weight: bold; border-top: 1px solid gray; padding-top: 0.5em; }
  11. h2 { font-size: 120%; font-weight: bold; }
  12. h3 { font-size: 110%; font-weight: bold; }
  13. h4 { font-size: 100%; font-weight: bold; }
  14. span.space { position: relative; }
  15. span.space:after {
  16. content: "";
  17. position: absolute;
  18. /* create a mark that indicates a space (trick from D. Greenspan) */
  19. top: 3px; bottom: 3px; left: 1px; right: 1px;
  20. border: 1px solid #999;
  21. }
  22. div.example { overflow: hidden; }
  23. p { text-align: justify; }
  24. pre { padding: 0.5em; margin-left: 0; margin-right: 0; margin-top: 0.2em;
  25. margin-bottom: 0.5em; font-size: 88%; }
  26. pre {
  27. white-space: pre-wrap; /* css-3 */
  28. white-space: -moz-pre-wrap; /* Mozilla, since 1999 */
  29. white-space: -pre-wrap; /* Opera 4-6 */
  30. white-space: -o-pre-wrap; /* Opera 7 */
  31. word-wrap: break-word; /* Internet Explorer 5.5+ */
  32. }
  33. code { font-size: 120%; font-family: monospace; }
  34. div.example > pre { float:left; width: 48%; }
  35. div.example > pre.markdown { clear:left; }
  36. pre.tree { font-weight: bold; color: #777; }
  37. pre.markdown { background-color: #E3DEC1;}
  38. pre.html { background-color: #E89F65; }
  39. pre.html span.space:after {
  40. border: 1px solid #666;
  41. }
  42. div.examplenum { font-size: 82%; text-align: left; }
  43. a.footnoteRef > sup:before {
  44. content: "[";
  45. }
  46. a.footnoteRef > sup:after {
  47. content: "]";
  48. }
  49. a.footnoteRef > sup {
  50. vertical-align: baseline;
  51. font-size: 100%;
  52. }
  53. </style>
  54. </head>
  55. <body>
  56. <h1 class="title">$title$</h1>
  57. <div class="version">Version $version$ ($date$)</div>
  58. <div class="authors">
  59. $for(author)$<span class="author">$author$</span>$sep$; $endfor$
  60. </div>
  61. <div id="TOC">
  62. $toc$
  63. </div>
  64. $body$
  65. </body>
  66. </html>