@page {
    margin-bottom: 5pt;
    margin-top: 5pt
    }
@font-face {
    font-family: "LinuxLibertine";
    src: url(OPS/fonts/LinuxLibertine_OsF_Regular.otf);
    font-style: normal;
    font-weight: normal
    }
@font-face {
    font-family: "LinuxLibertine";
    src: url(OPS/fonts/LinuxLibertine_OsF_Italic.otf);
    font-style: italic;
    font-weight: normal
    }
@font-face {
    font-family: "LinuxLibertine";
    src: url(OPS/fonts/LinuxLibertine_OsF_Bold.otf);
    font-style: normal;
    font-weight: bold
    }
@font-face {
    font-family: "DejaVuSans";
    src: url(OPS/fonts/DejaVuSans.ttf);
    font-style: normal;
    font-weight: normal
    }