lean-experiment/mathlib.html at main · Andrewp2/lean-experiment · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
<!doctype html>
<html lang="en">
  <head>
    <meta charset="UTF-8" />
    <link rel="icon" type="image/x-icon" href="/favicon_io/favicon.ico" />
    <link rel="icon" type="image/png" sizes="32x32" href="/favicon_io/favicon-32x32.png" />
    <link rel="icon" type="image/png" sizes="16x16" href="/favicon_io/favicon-16x16.png" />
    <link rel="apple-touch-icon" sizes="180x180" href="/favicon_io/apple-touch-icon.png" />
    <link rel="manifest" href="/favicon_io/site.webmanifest" />
    <meta name="viewport" content="width=device-width, initial-scale=1.0" />
    <title>Repo Metrics Map</title>
    <script>
      ;(function () {
        try {
          var stored = window.localStorage.getItem('theme')
          var prefersDark =
            window.matchMedia && window.matchMedia('(prefers-color-scheme: dark)').matches
          var useDark =
            stored === 'dark' || (stored !== 'light' && stored !== 'system' && prefersDark) ||
            (stored === 'system' && prefersDark)
          var root = document.documentElement
          root.classList.add(useDark ? 'theme-reticle' : 'theme-highk')
          root.style.backgroundColor = useDark ? '#000000' : '#ffffff'
          root.style.color = useDark ? '#ffffff' : '#000000'
        } catch (e) {
          document.documentElement.classList.add('theme-highk')
        }
      })()
    </script>
  </head>
  <body>
    <div id="root"></div>
    <script type="module" src="/src/mathlib.tsx"></script>
  </body>
</html>