Repository with sources and generator of https://larlet.fr/david/ https://larlet.fr/david/
Du kan inte välja fler än 25 ämnen Ämnen måste starta med en bokstav eller siffra, kan innehålla bindestreck ('-') och vara max 35 tecken långa.

base_2020.html 6.7KB

4 år sedan
4 år sedan
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137
  1. <!doctype html><!-- This is a valid HTML5 document. -->
  2. <!-- Screen readers, SEO, extensions and so on. -->
  3. <html lang="{% block lang %}fr{% endblock lang %}">
  4. <!-- Has to be within the first 1024 bytes, hence before the <title>
  5. See: https://www.w3.org/TR/2012/CR-html5-20121217/document-metadata.html#charset -->
  6. <meta charset="utf-8">
  7. <!-- Why no `X-UA-Compatible` meta: https://stackoverflow.com/a/6771584 -->
  8. <!-- The viewport meta is quite crowded and we are responsible for that.
  9. See: https://codepen.io/tigt/post/meta-viewport-for-2015 -->
  10. <meta name="viewport" content="width=device-width,initial-scale=1">
  11. <!-- Required to make a valid HTML5 document. -->
  12. <title>{% block title %}{% endblock %} — David Larlet</title>
  13. <meta name="description" content="{% block description %}{% endblock %}">
  14. <!-- That good ol' feed, subscribe :). -->
  15. <link rel="alternate" type="application/atom+xml" title="Feed" href="/david/log/">
  16. <!-- Generated from https://realfavicongenerator.net/ such a mess. -->
  17. <link rel="apple-touch-icon" sizes="180x180" href="/static/david/icons2/apple-touch-icon.png">
  18. <link rel="icon" type="image/png" sizes="32x32" href="/static/david/icons2/favicon-32x32.png">
  19. <link rel="icon" type="image/png" sizes="16x16" href="/static/david/icons2/favicon-16x16.png">
  20. <link rel="manifest" href="/static/david/icons2/site.webmanifest">
  21. <link rel="mask-icon" href="/static/david/icons2/safari-pinned-tab.svg" color="#07486c">
  22. <link rel="shortcut icon" href="/static/david/icons2/favicon.ico">
  23. <meta name="msapplication-TileColor" content="#f0f0ea">
  24. <meta name="msapplication-config" content="/static/david/icons2/browserconfig.xml">
  25. <meta name="theme-color" content="#f0f0ea">
  26. <!-- Documented, feel free to shoot an email. -->
  27. <link rel="stylesheet" href="/static/david/css/style_2020-06-19.css">
  28. <!-- See https://www.zachleat.com/web/comprehensive-webfonts/ for the trade-off. -->
  29. <link rel="preload" href="/static/david/css/fonts/triplicate_t4_poly_regular.woff2" as="font" type="font/woff2" media="(prefers-color-scheme: light), (prefers-color-scheme: no-preference)" crossorigin>
  30. <link rel="preload" href="/static/david/css/fonts/triplicate_t4_poly_bold.woff2" as="font" type="font/woff2" media="(prefers-color-scheme: light), (prefers-color-scheme: no-preference)" crossorigin>
  31. <link rel="preload" href="/static/david/css/fonts/triplicate_t4_poly_italic.woff2" as="font" type="font/woff2" media="(prefers-color-scheme: light), (prefers-color-scheme: no-preference)" crossorigin>
  32. <link rel="preload" href="/static/david/css/fonts/triplicate_t3_regular.woff2" as="font" type="font/woff2" media="(prefers-color-scheme: dark)" crossorigin>
  33. <link rel="preload" href="/static/david/css/fonts/triplicate_t3_bold.woff2" as="font" type="font/woff2" media="(prefers-color-scheme: dark)" crossorigin>
  34. <link rel="preload" href="/static/david/css/fonts/triplicate_t3_italic.woff2" as="font" type="font/woff2" media="(prefers-color-scheme: dark)" crossorigin>
  35. <script type="text/javascript">
  36. function toggleTheme(themeName) {
  37. document.documentElement.classList.toggle(
  38. 'forced-dark',
  39. themeName === 'dark'
  40. )
  41. document.documentElement.classList.toggle(
  42. 'forced-light',
  43. themeName === 'light'
  44. )
  45. }
  46. const selectedTheme = localStorage.getItem('theme')
  47. if (selectedTheme !== 'undefined') {
  48. toggleTheme(selectedTheme)
  49. }
  50. </script>
  51. {% block extra_head %}{% endblock %}
  52. <body class="remarkdown h1-underline h2-underline h3-underline hr-center ul-star pre-tick" data-instant-intensity="viewport-all">
  53. {% block content %}{% endblock content %}
  54. <hr>
  55. <footer>
  56. <p>
  57. <a href="/david/" title="Aller à l’accueil">🏠</a> •
  58. <a href="/david/log/" title="Accès au flux RSS">🤖</a> •
  59. <a href="http://larlet.com" title="Go to my English profile" data-instant>🇨🇦</a> •
  60. <a href="mailto:david%40larlet.fr" title="Envoyer un courriel">📮</a> •
  61. <abbr title="Hébergeur : Alwaysdata, 62 rue Tiquetonne 75002 Paris, +33184162340">🧚</abbr>
  62. </p>
  63. <template id="theme-selector">
  64. <form>
  65. <fieldset>
  66. <legend>Thème</legend>
  67. <label>
  68. <input type="radio" value="auto" name="chosen-color-scheme" checked> Auto
  69. </label>
  70. <label>
  71. <input type="radio" value="dark" name="chosen-color-scheme"> Foncé
  72. </label>
  73. <label>
  74. <input type="radio" value="light" name="chosen-color-scheme"> Clair
  75. </label>
  76. </fieldset>
  77. </form>
  78. </template>
  79. </footer>
  80. <script src="/static/david/js/instantpage-5.1.0.min.js" type="module" defer></script>
  81. <script type="text/javascript">
  82. function loadThemeForm(templateName) {
  83. const themeSelectorTemplate = document.querySelector(templateName)
  84. const form = themeSelectorTemplate.content.firstElementChild
  85. themeSelectorTemplate.replaceWith(form)
  86. form.addEventListener('change', (e) => {
  87. const chosenColorScheme = e.target.value
  88. localStorage.setItem('theme', chosenColorScheme)
  89. toggleTheme(chosenColorScheme)
  90. })
  91. const selectedTheme = localStorage.getItem('theme')
  92. if (selectedTheme && selectedTheme !== 'undefined') {
  93. form.querySelector(`[value="${selectedTheme}"]`).checked = true
  94. }
  95. }
  96. const prefersColorSchemeDark = '(prefers-color-scheme: dark)'
  97. window.addEventListener('load', () => {
  98. let hasDarkRules = false
  99. for (const styleSheet of Array.from(document.styleSheets)) {
  100. let mediaRules = []
  101. for (const cssRule of styleSheet.cssRules) {
  102. if (cssRule.type !== CSSRule.MEDIA_RULE) {
  103. continue
  104. }
  105. // WARNING: Safari does not have/supports `conditionText`.
  106. if (cssRule.conditionText) {
  107. if (cssRule.conditionText !== prefersColorSchemeDark) {
  108. continue
  109. }
  110. } else {
  111. if (cssRule.cssText.startsWith(prefersColorSchemeDark)) {
  112. continue
  113. }
  114. }
  115. mediaRules = mediaRules.concat(Array.from(cssRule.cssRules))
  116. }
  117. // WARNING: do not try to insert a Rule to a styleSheet you are
  118. // currently iterating on, otherwise the browser will be stuck
  119. // in a infinite loop…
  120. for (const mediaRule of mediaRules) {
  121. styleSheet.insertRule(mediaRule.cssText)
  122. hasDarkRules = true
  123. }
  124. }
  125. if (hasDarkRules) {
  126. loadThemeForm('#theme-selector')
  127. }
  128. })
  129. </script>
  130. </body>
  131. </html>