tt.literal {
    padding: 2px 4px;
    font-size: 90%;
    color: #c7254e;
    white-space: nowrap;
    background-color: #f9f2f4;
    border-radius: 4px;
}

pre {
    display: block;
    padding: 9.5px;
    margin: 0 0 10px;
    font-size: 13px;
    line-height: 1.428571429;
    color: #333;
    word-break: break-all;
    word-wrap: break-word;
    background-color: #f5f5f5;
    border: 1px solid #ccc;
    border-radius: 4px;
}

tbody>tr:nth-child(odd)>td,
tbody>tr:nth-child(odd)>th {
    background-color: #f9f9f9;
}

table>thead>tr>th, table>tbody>tr>th, table>tfoot>tr>th, table>thead>tr>td, table>tbody>tr>td, table>tfoot>tr>td {
    padding: 8px;
    line-height: 1.428571429;
    vertical-align: top;
    border-top: 1px solid #ddd;
}

td>p {
    margin: 0 0 0.5em;
}

div.document {
    width: 80% !important;
}

@media (max-width: 1200px) {
    div.document {
        width: 960px !important;
    }
}

.operation-grp {
    padding-top: 0.5em;
    padding-bottom: 1em;
}