/* Temporary fix for https://github.com/rtfd/sphinx_rtd_theme/issues/417 */

.rst-content .highlight>pre {
    line-height: 18px !important;
}