opt: remove outline of dictionary name

This commit is contained in:
YiFang Xiao 2023-08-07 17:46:49 +08:00 committed by xiaoyifang
parent 197e5373bb
commit 1b382fa4b4

View file

@ -34,14 +34,14 @@ pre {
/* Dictionary's name heading */
.gddictname {
border: 1px dotted black;
/* border: 1px dotted black;
padding: 0.2em;
padding-left: 0.5em;
margin-top: 1.2em;
margin-bottom: 9px;
font-weight: bold;
font-size: 14px;
/*background: #ffffdd;*/
background: #ffffdd; */
}
.gddicttitle {