@font-face {
font-family: FaulmannFont-fallback;
src: local("Times New Roman");
size-adjust: 101.15%;
ascent-override: 115.95%;
descent-override: 40.55%;
line-gap-override: 0.0%;
}
.faulmann_font {
font-family: "Faulmann Font",
"FaulmannFont-fallback",
serif;
}