From 3a8a9c81055aeef7ff75026cde3092220bd8da28 Mon Sep 17 00:00:00 2001 From: Leni Aniva Date: Tue, 15 Oct 2024 19:14:27 -0700 Subject: [PATCH] fix: Blockquote themes --- src/content/home.md | 2 +- src/content/post/the-perfect-math-class.md | 10 ++++++++++ src/style/content.css | 1 - svelte.config.js | 4 ++-- tailwind.config.ts | 6 ++++++ 5 files changed, 19 insertions(+), 4 deletions(-) diff --git a/src/content/home.md b/src/content/home.md index fbed528..b91bdc3 100644 --- a/src/content/home.md +++ b/src/content/home.md @@ -17,7 +17,7 @@ Strongest of Gensokyo # Projects -> This is a quote +> People say nothing is impossible but I do nothing everyday. -- Winnie The Pooh ```python for i in range(9): diff --git a/src/content/post/the-perfect-math-class.md b/src/content/post/the-perfect-math-class.md index 113e322..f50b7cd 100644 --- a/src/content/post/the-perfect-math-class.md +++ b/src/content/post/the-perfect-math-class.md @@ -6,3 +6,13 @@ tags: ["Cirno"] # Content Here are some contents for the perfect math class. [A link](https://example.com) + +```lean +theorem perfect_number_theorem (n: Nat), + Nat.is_odd → ¬perfect n := by + intro h + apply cirno_theorem +``` + +> :>WARNING +> The proof is elusive! diff --git a/src/style/content.css b/src/style/content.css index 375b3c1..a06e165 100644 --- a/src/style/content.css +++ b/src/style/content.css @@ -1,5 +1,4 @@ blockquote { - background: #fafaee; font-style: italic; } diff --git a/svelte.config.js b/svelte.config.js index 242dc27..e9e218d 100644 --- a/svelte.config.js +++ b/svelte.config.js @@ -19,8 +19,8 @@ const langs = [ "typescript", ]; const highlightingThemes = { - light: 'solarized-light', - dark: 'andromeeda', + light: 'vitesse-light', + dark: 'vitesse-dark', }; /** @type {import('@sveltejs/kit').Config} */ diff --git a/tailwind.config.ts b/tailwind.config.ts index b162b49..f412e22 100644 --- a/tailwind.config.ts +++ b/tailwind.config.ts @@ -139,6 +139,9 @@ const config: Config = { color: theme('colors.java.500'), }, }, + blockquote: { + color: theme('colors.gray.800'), + } }; const themeStar = { color: theme('colors.gray.200'), @@ -160,6 +163,9 @@ const config: Config = { color: theme('colors.java.500'), }, }, + blockquote: { + color: theme('colors.gray.300'), + } }; return {