.pre {
    font-family: 'Roboto Mono', monospace;
    white-space: pre;
}

div.table-responsive {
    margin-top: 10px;
    margin-bottom: 0px;
}