opentaint.github.io/astro.config.mjs at main · seqra/opentaint.github.io · 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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
import { defineConfig } from "astro/config";
import react from "@astrojs/react";
import mdx from "@astrojs/mdx";
import sitemap from "@astrojs/sitemap";
import tailwind from "@astrojs/tailwind";
import expressiveCode from "astro-expressive-code";
import path from "node:path";

export default defineConfig({
  site: "https://opentaint.org",
  output: "static",
  integrations: [
    react(),
    expressiveCode({
      themes: ["github-light", "github-dark"],
      themeCssSelector: (theme) => {
        if (theme.name === "github-dark") return ".dark";
        return ":root:not(.dark)";
      },
      useDarkModeMediaQuery: false,
      styleOverrides: {
        borderRadius: "0.5rem",
        codeFontFamily: "'JetBrains Mono', monospace",
        codeFontSize: "0.875rem",
        codeLineHeight: "1.625",
        codePaddingBlock: "1rem",
        codePaddingInline: "1rem",
        borderColor: "hsl(var(--code-border))",
        codeBackground: "hsl(var(--code-bg))",
        frames: {
          editorTabBarBackground: "hsl(var(--code-header))",
          editorTabBarBorderBottomColor: "hsl(var(--code-border))",
          editorActiveTabBackground: "hsl(var(--code-bg))",
          editorActiveTabIndicatorTopColor: "hsl(var(--brand))",
          terminalTitlebarBackground: "hsl(var(--code-header))",
          terminalTitlebarBorderBottomColor: "hsl(var(--code-border))",
          terminalBackground: "hsl(var(--code-bg))",
          tooltipSuccessBackground: "hsl(var(--brand))",
          frameBoxShadowCssValue: "none",
        },
      },
    }),
    mdx(),
    tailwind(),
    sitemap({
      serialize(item) {
        item.lastmod = new Date().toISOString();
        return item;
      },
    }),
  ],
  markdown: {
    gfm: true,
  },
  vite: {
    resolve: {
      alias: {
        "@": path.resolve("./src"),
      },
    },
  },
});