@page {
    margin-bottom: 5pt;
    margin-top: 5pt
    }
@font-face {
    font-family: "ITC Stone Serif", serif;
    font-style: normal;
    font-weight: normal;
    src: local(StoneSerif)
    }
@font-face {
    font-family: "Helvetica", sans-serif;
    font-style: normal;
    font-weight: normal;
    src: local(Helvetica-Compressed)
    }