From 5606f23c157f1b77807d8e1d6687c4e744713180 Mon Sep 17 00:00:00 2001
From: Xiao YiFang <yifang.xiao@gmail.com>
Date: Fri, 19 Aug 2022 21:19:06 +0800
Subject: [PATCH] style: default style dictionary name style

---
 article-style.css | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/article-style.css b/article-style.css
index d021d4aa..aed0452e 100644
--- a/article-style.css
+++ b/article-style.css
@@ -35,8 +35,12 @@ pre
 /* Dictionary's name heading */
 .gddictname
 {
-  /*border: 1px dotted black; padding: 0.2em; padding-left: 0.5em;*/
-  margin-top: 1.2em; margin-bottom: 9px; font-weight: bold; font-size: 14px;
+  margin-top: 0.5em;
+  margin-bottom: 0.5em;
+  font-weight: bold;
+  font-size: 0.8em;
+  padding: 0.3em;
+  padding-left: 0.5em;
   background: #def;
 }