Fix dark theme highlight for "NameNamespace" (#26519)#26527

Merged

silverwind merged 1 commit intogo-gitea:release/v1.20from

GiteaBot:backport-26519-v1.20

Aug 15, 2023

Commits on Aug 15, 2023

Fix dark theme highlight for "NameNamespace" (#26519)

wxiaoguang
and
GiteaBot
committed