<!DOCTYPE html><html lang="en"><head><meta http-equiv="content-type" content="text/html; charset=utf-8"/>
<style>body{font-family:sans-serif;background-color:#222;color:#eee}pre{background-color:#111;color:#fff;padding:1em;white-space:pre-wrap;display:inline-block}a:active,a:focus,a:hover,a:link,a:visited{color:#3bf7ed}@media (prefers-color-scheme:dark){body{background-color:#222;color:#eee}pre{background-color:#111;color:#fff}a:active,a:focus,a:hover,a:link,a:visited{color:#3bf7ed}}@media (prefers-color-sc