Repository with sources and generator of https://larlet.fr/david/ https://larlet.fr/david/
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

base_2024.html 8.5KB

10 月之前
10 月之前
10 月之前
10 月之前
10 月之前
10 月之前
10 月之前
10 月之前
10 月之前
10 月之前
10 月之前
10 月之前
10 月之前
10 月之前
10 月之前
10 月之前
10 月之前
10 月之前
10 月之前
10 月之前
10 月之前
10 月之前
10 月之前
10 月之前
10 月之前
10 月之前
10 月之前
10 月之前
10 月之前
10 月之前
10 月之前
10 月之前
10 月之前
10 月之前
10 月之前
10 月之前
10 月之前
10 月之前
10 月之前
10 月之前
10 月之前
10 月之前
10 月之前
10 月之前
10 月之前
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237
  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` element
  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>
  13. {% block title %}{% endblock %}
  14. — David Larlet</title>
  15. <meta name="description" content="{% block description %}{% endblock %}">
  16. <!-- That good ol' feed, subscribe :). -->
  17. <link rel="alternate"
  18. type="application/atom+xml"
  19. title="Feed"
  20. href="/david/log/">
  21. <!-- Generated from https://realfavicongenerator.net/ such a mess. -->
  22. <link rel="apple-touch-icon"
  23. sizes="180x180"
  24. href="/static/david/icons2/apple-touch-icon.png">
  25. <link rel="icon"
  26. type="image/png"
  27. sizes="32x32"
  28. href="/static/david/icons2/favicon-32x32.png">
  29. <link rel="icon"
  30. type="image/png"
  31. sizes="16x16"
  32. href="/static/david/icons2/favicon-16x16.png">
  33. <link rel="manifest" href="/static/david/icons2/site.webmanifest">
  34. <link rel="mask-icon"
  35. href="/static/david/icons2/safari-pinned-tab.svg"
  36. color="#07486c">
  37. <link rel="shortcut icon" href="/static/david/icons2/favicon.ico">
  38. <meta name="msapplication-TileColor" content="#f7f7f7">
  39. <meta name="msapplication-config"
  40. content="/static/david/icons2/browserconfig.xml">
  41. <meta name="theme-color"
  42. content="#f7f7f7"
  43. media="(prefers-color-scheme: light)">
  44. <meta name="theme-color"
  45. content="#272727"
  46. media="(prefers-color-scheme: dark)">
  47. <!-- Is that even respected? Retrospectively? What a shAItshow…
  48. https://neil-clarke.com/block-the-bots-that-feed-ai-models-by-scraping-your-website/ -->
  49. <meta name="robots" content="noai, noimageai">
  50. <!-- Documented, feel free to shoot an email. -->
  51. <link rel="stylesheet" href="/static/david/css/style_2024-01-13.css">
  52. <!-- See https://www.zachleat.com/web/comprehensive-webfonts/ for the trade-off. -->
  53. <link rel="preload"
  54. href="/static/david/css/fonts/century_supra_ot_a_regular.woff2"
  55. as="font"
  56. type="font/woff2"
  57. media="(prefers-color-scheme: light), (prefers-color-scheme: no-preference)"
  58. crossorigin>
  59. <link rel="preload"
  60. href="/static/david/css/fonts/century_supra_ot_a_bold.woff2"
  61. as="font"
  62. type="font/woff2"
  63. media="(prefers-color-scheme: light), (prefers-color-scheme: no-preference)"
  64. crossorigin>
  65. <link rel="preload"
  66. href="/static/david/css/fonts/century_supra_ot_a_italic.woff2"
  67. as="font"
  68. type="font/woff2"
  69. media="(prefers-color-scheme: light), (prefers-color-scheme: no-preference)"
  70. crossorigin>
  71. <link rel="preload"
  72. href="/static/david/css/fonts/century_supra_ot_b_regular.woff2"
  73. as="font"
  74. type="font/woff2"
  75. media="(prefers-color-scheme: dark)"
  76. crossorigin>
  77. <link rel="preload"
  78. href="/static/david/css/fonts/century_supra_ot_b_bold.woff2"
  79. as="font"
  80. type="font/woff2"
  81. media="(prefers-color-scheme: dark)"
  82. crossorigin>
  83. <link rel="preload"
  84. href="/static/david/css/fonts/century_supra_ot_b_italic.woff2"
  85. as="font"
  86. type="font/woff2"
  87. media="(prefers-color-scheme: dark)"
  88. crossorigin>
  89. <script>
  90. function toggleTheme(themeName) {
  91. document.documentElement.classList.toggle(
  92. 'forced-dark',
  93. themeName === 'dark'
  94. )
  95. document.documentElement.classList.toggle(
  96. 'forced-light',
  97. themeName === 'light'
  98. )
  99. }
  100. const selectedTheme = localStorage.getItem('theme')
  101. if (selectedTheme !== 'undefined') {
  102. toggleTheme(selectedTheme)
  103. }
  104. </script>
  105. {% block extra_head %}{% endblock %}
  106. <body data-instant-intensity="viewport-all">
  107. {% block content %}
  108. {% endblock content %}
  109. <hr>
  110. <footer>
  111. <p>
  112. <nobr>
  113. <a href="/david/" title="Aller à l’accueil">Accueil</a>
  114. </nobr>
  115. <nobr>
  116. <a href="/david/log/" title="Accès au flux RSS">Suivre</a>
  117. </nobr>
  118. <nobr>
  119. <a href="http://larlet.com"
  120. title="Go to my English profile"
  121. data-instant>Pro</a>
  122. </nobr>
  123. <nobr>
  124. <a href="mailto:david%40larlet.fr" title="Envoyer un courriel">Email</a>
  125. </nobr>
  126. <nobr>
  127. <abbr class="nowrap"
  128. title="Hébergeur : Alwaysdata, 62 rue Tiquetonne 75002 Paris, +33184162340">Légal</abbr>
  129. </nobr>
  130. </p>
  131. <template id="theme-selector">
  132. <form>
  133. <style type="text/css">
  134. fieldset {
  135. text-align: center;
  136. }
  137. </style>
  138. <fieldset>
  139. <legend>Thème
  140. </legend>
  141. <label>
  142. <input type="radio" value="auto" name="chosen-color-scheme" checked>
  143. Auto
  144. </label>
  145. <label>
  146. <input type="radio" value="dark" name="chosen-color-scheme">
  147. Foncé
  148. </label>
  149. <label>
  150. <input type="radio" value="light" name="chosen-color-scheme">
  151. Clair
  152. </label>
  153. </fieldset>
  154. </form>
  155. </template>
  156. </footer>
  157. <script src="/static/david/js/instantpage-5.1.0.min.js" type="module"></script>
  158. <script>
  159. class ThemeToggle extends HTMLElement {
  160. constructor() {
  161. super()
  162. const themeSelectorTemplate = document.querySelector('#theme-selector')
  163. const form = themeSelectorTemplate.content.firstElementChild
  164. this.attachShadow({ mode: 'open' })
  165. this.shadowRoot.appendChild(form.cloneNode(true))
  166. }
  167. connectedCallback() {
  168. const form = this.shadowRoot.querySelector('form')
  169. form.addEventListener('change', (e) => {
  170. const chosenColorScheme = e.target.value
  171. localStorage.setItem('theme', chosenColorScheme)
  172. toggleTheme(chosenColorScheme)
  173. })
  174. const selectedTheme = localStorage.getItem('theme')
  175. if (selectedTheme && selectedTheme !== 'undefined') {
  176. form.querySelector(`[value="${selectedTheme}"]`).checked = true
  177. }
  178. }
  179. }
  180. const prefersColorSchemeDark = '(prefers-color-scheme: dark)'
  181. window.addEventListener('load', () => {
  182. let colorsLayer = undefined
  183. let hasDarkRules = false
  184. for (const styleSheet of Array.from(document.styleSheets)) {
  185. let mediaRules = []
  186. for (const layerRule of styleSheet.cssRules) {
  187. if (!(layerRule instanceof CSSLayerBlockRule)) {
  188. continue
  189. }
  190. if (layerRule.name === 'colors') {
  191. colorsLayer = layerRule
  192. }
  193. for (const cssRule of layerRule.cssRules) {
  194. if (cssRule.type !== CSSRule.MEDIA_RULE) {
  195. continue
  196. }
  197. // WARNING: Safari does not have/supports `conditionText`.
  198. if (cssRule.conditionText) {
  199. if (cssRule.conditionText !== prefersColorSchemeDark) {
  200. continue
  201. }
  202. } else {
  203. if (cssRule.cssText.startsWith(prefersColorSchemeDark)) {
  204. continue
  205. }
  206. }
  207. mediaRules = mediaRules.concat(Array.from(cssRule.cssRules))
  208. }
  209. }
  210. // WARNING: do not try to insert a Rule to a styleSheet you are
  211. // currently iterating on, otherwise the browser will be stuck
  212. // in a infinite loop…
  213. for (const mediaRule of mediaRules) {
  214. // Safari requires the `0` second parameter (even if default).
  215. colorsLayer.insertRule(mediaRule.cssText, 0)
  216. hasDarkRules = true
  217. }
  218. }
  219. if (hasDarkRules) {
  220. if ('customElements' in window && !customElements.get('theme-toggle')) {
  221. customElements.define('theme-toggle', ThemeToggle)
  222. }
  223. }
  224. })
  225. </script>
  226. {% block extra_body %}{% endblock %}
  227. </body>
  228. </html>