template.include 2.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120
  1. <!DOCTYPE html>
  2. <html$if(lang)$ lang="$lang$"$endif$$if(dir)$ dir="$dir$"$endif$>
  3. <head>
  4. <meta charset="utf-8">
  5. <meta name="generator" content="pandoc">
  6. <meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes">
  7. $for(author-meta)$
  8. <meta name="author" content="$author-meta$">
  9. $endfor$
  10. $if(date-meta)$
  11. <meta name="dcterms.date" content="$date-meta$">
  12. $endif$
  13. $if(keywords)$
  14. <meta name="keywords" content="$for(keywords)$$keywords$$sep$, $endfor$">
  15. $endif$
  16. <title>$if(title-prefix)$$title-prefix$ – $endif$$pagetitle$</title>
  17. $if(quotes)$
  18. <style type="text/css">q { quotes: "“" "”" "‘" "’"; }</style>
  19. $endif$
  20. $if(highlighting-css)$
  21. <style type="text/css">
  22. $highlighting-css$
  23. </style>
  24. $endif$
  25. $for(css)$
  26. <link rel="stylesheet" href="$css$">
  27. $endfor$
  28. $if(math)$
  29. $math$
  30. $endif$
  31. $for(header-includes)$
  32. $header-includes$
  33. $endfor$
  34. <link rel="alternate" type="application/rss+xml" title="RSS Feed" href="/feed.xml"/>
  35. <style type="text/css">
  36. html{
  37. background:#222;
  38. color:#eee;
  39. }
  40. .date,.author,.h a{display:none}
  41. code,pre,#TOC,a:hover{background:#444}
  42. :not(p),a:hover {
  43. max-width:50em;
  44. margin:0 auto;
  45. font-family:sans-serif;
  46. line-height:1.4
  47. }
  48. a{color:#fcc}
  49. .title>*, header ul>li, .nav ul>li,
  50. #footer ul>li, .h:hover>*
  51. ul>li
  52. {
  53. display:inline;
  54. margin:.7%;
  55. text-align:center;
  56. }
  57. .title>*,span.date{display:block}
  58. img,video{max-width:100%}
  59. #TOC{
  60. float:left;
  61. margin:1em
  62. }
  63. html,ul,#TOC{padding:1em}
  64. </style>
  65. </head>
  66. <body>
  67. <div class="page">
  68. $for(include-before)$
  69. $include-before$
  70. $endfor$
  71. $if(title)$
  72. <header>
  73. <div class="title">
  74. <h1 class="title">$title$</h1>
  75. </div>
  76. $if(subtitle)$
  77. <p class="subtitle">$subtitle$</p>
  78. $endif$
  79. $for(author)$
  80. <p class="author">$author$</p>
  81. $endfor$
  82. $if(date)$
  83. <p class="date">$date$</p>
  84. $endif$
  85. <ul>
  86. <li><a href="/">Home</a></li>
  87. <li><a href="/download.html">Download</a></li>
  88. <li><a href="/news/">News</a></li>
  89. <li><a href="/tasks/">TODO</a></li>
  90. <li><a href="https://notabug.org/untitled/untitled/issues">Report bug</a></li>
  91. <li><a href="/git.html">Send patches</a></li>
  92. <li><strong><a href="/contact.html">Contact</a></strong></li>
  93. <li><strong><a href="/who.html">Who!?!?</a></strong></li>
  94. <li><strong><a href="/donate.html">Donate</a></strong></li>
  95. </ul>
  96. </header>
  97. $endif$
  98. $if(return)$
  99. $return$
  100. $endif$
  101. $if(toc)$
  102. <nav id="$idprefix$TOC">
  103. <h1>Navigate this page:</h1>
  104. $toc$
  105. </nav>
  106. $endif$
  107. $if(toc)$
  108. <div class="pagetext">
  109. $endif$
  110. $body$
  111. $for(include-after)$
  112. $include-after$
  113. $endfor$
  114. $if(toc)$
  115. </div>
  116. $endif$
  117. </div>
  118. </body>
  119. </html>