@font-face {
font-family: Miracode-fallback;
src: local("Times New Roman");
size-adjust: 136.56%;
ascent-override: 65.09%;
descent-override: 8.14%;
line-gap-override: 6.58%;
}
.miracode {
font-family: "Miracode",
"Miracode-fallback",
serif;
}