@font-face {
   font-family: "DOS";
   src: url('/dump/Px437_DOS-V_re_ANK24.ttf') format("truetype");
   font-weight: normal;
   font-style: normal; }