From c9b212ce15940cade77c03d284ed854982acb7f7 Mon Sep 17 00:00:00 2001
From: Peter <srcr@users.noreply.github.com>
Date: Sat, 17 Oct 2020 20:42:15 +0200
Subject: [PATCH] Update dark_blue.theme

fixed the description
---
 doc/themes/dark_blue.theme | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/themes/dark_blue.theme b/doc/themes/dark_blue.theme
index 8c2ae551..95c399ef 100644
--- a/doc/themes/dark_blue.theme
+++ b/doc/themes/dark_blue.theme
@@ -25,7 +25,7 @@
 ###############################################################################
 
 define theme:
-  description = "dark_green.theme: A dark green theme."
+  description = "dark_blue.theme: A dark blue theme."
   colors:
     # General UI color.
     exclusion = "gray8 on gray4"