.theme_headersmall {  font-family: "Times New Roman", Times, serif; font-size: 4mm; font-style: normal; font-weight: 500; font-variant: normal}