@media screen {
    body {
        background: #000;
        color: #fff;
    }
    hr {
        background: red;
        border: 0;
        height: 1px;
        margin: 1em 0em 1.5em -10em;
    }
}
@media print {
    body {
        background: #fff;
        color: #000;
    }
    hr {
        display: none;
    }
    #noprintheader {
        display: none;
    }
}
body {
    background: #000;
    color: #fff;
    font-family: "Dejavu Sans Mono", Inconsolata, Monaco, Courier, monospace;
    font-size: 12pt;
    padding: 1em 4em 1em 4em;
}
#travchar {
    white-space: pre-wrap;
    width: 45em;
}