.wy-nav-content {
    /*max-width: none;*/
    max-width: 1200px !important;
}

#references .wy-table-responsive {
    margin-bottom: 0;
}

p {
    text-align: justify;
}

div[class^='highlight'] pre {
    font-family: monospace;
}