/*! Color themes for Google Code Prettify | MIT License | github.com/jmblog/color-themes-for-google-code-prettify */
.prettyprint {
    background: #efecf4;
    font-family: Menlo, Bitstream Vera Sans Mono, DejaVu Sans Mono, Monaco, Consolas, monospace;
    border: 0 !important
}

.pln {
    color: #19171c
}

ol.linenums {
    margin-top: 0;
    margin-bottom: 0;
    color: #7e7887
}

li.L0, li.L1, li.L2, li.L3, li.L4, li.L5, li.L6, li.L7, li.L8, li.L9 {
    padding-left: 1em;
    background-color: #efecf4;
    list-style-type: decimal
}

@media screen {
    .str {
        color: #2a9292
    }

    .kwd {
        color: #955ae7
    }

    .com {
        color: #7e7887
    }

    .typ {
        color: #576ddb
    }

    .lit {
        color: #aa573c
    }

    .pun {
        color: #19171c
    }

    .opn {
        color: #19171c
    }

    .clo {
        color: #19171c
    }

    .tag {
        color: #be4678
    }

    .atn {
        color: #aa573c
    }

    .atv {
        color: #398bc6
    }

    .dec {
        color: #aa573c
    }

    .var {
        color: #be4678
    }

    .fun {
        color: #576ddb
    }
}

.dark-theme .prettyprint {
    background: #19171c;
    font-family: Menlo, Bitstream Vera Sans Mono, DejaVu Sans Mono, Monaco, Consolas, monospace;
    border: 0 !important
}

.dark-theme .pln {
    color: #efecf4
}

.dark-theme ol.linenums {
    margin-top: 0;
    margin-bottom: 0;
    color: #655f6d
}

.dark-theme li.L0,
.dark-theme li.L1,
.dark-theme li.L2,
.dark-theme li.L3,
.dark-theme li.L4,
.dark-theme li.L5,
.dark-theme li.L6,
.dark-theme li.L7,
.dark-theme li.L8,
.dark-theme li.L9 {
    padding-left: 1em;
    background-color: #19171c;
    list-style-type: decimal
}

@media screen {
    .dark-theme .str {
        color: #2a9292
    }

    .dark-theme .kwd {
        color: #955ae7
    }

    .dark-theme .com {
        color: #655f6d
    }

    .dark-theme .typ {
        color: #576ddb
    }

    .dark-theme .lit {
        color: #aa573c
    }

    .dark-theme .pun {
        color: #efecf4
    }

    .dark-theme .opn {
        color: #efecf4
    }

    .dark-theme .clo {
        color: #efecf4
    }

    .dark-theme .tag {
        color: #be4678
    }

    .dark-theme .atn {
        color: #aa573c
    }

    .dark-theme .atv {
        color: #398bc6
    }

    .dark-theme .dec {
        color: #aa573c
    }

    .dark-theme .var {
        color: #be4678
    }

    .dark-theme .fun {
        color: #576ddb
    }
}