th > p {
    margin-bottom: 4px;
}
.rst-content div.figure {
    margin-bottom: 4px;
}
.rst-content code.literal {
    color: #002F6C;
}

.problem {
    color: #002F6C;
    font-family: Arial, Helvetica, sans-serif;
}

.complexityclass {
    color: #002F6C;
    /*font-family: Arial, Helvetica, sans-serif;*/
    font-weight: bold;
}