hr.full {
    width: 100%
    }
pre {
    font-size: 85%
    }