From 509781036df0447a3e4404d4e4d6fde2d3f436b3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E6=B2=88=E5=94=81?= <52o@qq52o.cn>
Date: Tue, 10 Jan 2023 16:02:02 +0800
Subject: [PATCH] docs: Fix missing dolphin theme (#1960)
---
docs/index.html | 6 ++++++
docs/themes.md | 3 +++
index.html | 1 +
3 files changed, 10 insertions(+)
diff --git a/docs/index.html b/docs/index.html
index e8ed4f15..db077435 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -41,6 +41,12 @@
title="pure"
disabled
/>
+