p {
    text-align: justify;
}
pre {
    white-space: pre-wrap!important;
}
html[data-theme="light"] .highlight .gi {
    color: #006100;
}
html[data-theme="light"] .highlight .gd {
    color: #A00000;
}
html[data-theme="dark"] .highlight .gi {
    color: #00a000;
}
html[data-theme="dark"] .highlight .gd {
    color: #f44e4e;
}
html[data-theme="dark"] a:visited {
    color: #a94bff;
}
html[data-theme="dark"] .highlight-po .highlight .nv {
    color: #a5a3ff;
}
html[data-theme="dark"] .highlight-po .highlight .s {
    color: #ff8a8a;
}