@page {
    margin: 5px 5px;
}

body {
    font-family: "DejaVu Sans Mono";
    font-size: 10pt;
    line-height: 1.0;
}

p {
    margin: 0;
}

hr {
    margin: 2px;
}