Remove the font size of filename class

PR:         253353
Patch by:   ceri (at) submonkey.net
This commit is contained in:
Sergio Carlavilla Delgado 2021-02-08 23:25:18 +01:00
parent feb1f7a97c
commit d8ac41d0c8

View file

@ -703,7 +703,6 @@ kbd {
.filename {
color: #007a00;
font-family: "DejaVu Sans Mono";
font-size: 12px;
line-height: 14.4px;
}