style: default style dictionary name style

This commit is contained in:
Xiao YiFang 2022-08-19 21:19:06 +08:00
parent 112e9a03ce
commit 5606f23c15

View file

@ -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;
}