.prettyprint {
    color: #839496;
    background-color: #002b36;
}

.prettyprint .pln {
    color: inherit;
}

.prettyprint .str,
.prettyprint .lit,
.prettyprint .atv {
    color: #2aa198;
}

.prettyprint .kwd {
    color: #268bd2;
}

.prettyprint .com,
.prettyprint .dec {
    color: #586e75;
    font-style: italic;
}

.prettyprint .typ {
    color: #b58900;
}

.prettyprint .pun {
    color: inherit;
}

.prettyprint .opn {
    color: inherit;
}

.prettyprint .clo {
    color: inherit;
}

.prettyprint .tag {
    color: #268bd2;
    font-weight: bold;
}

.prettyprint .atn {
    color: inherit;
}

/*!
 * Bootswatch v4.5.0
 * Homepage: https://bootswatch.com
 * Copyright 2012-2020 Thomas Park
 * Licensed under MIT
 * Based on Bootstrap
*/
/*!
 * Bootstrap v4.5.0 (https://getbootstrap.com/)
 * Copyright 2011-2020 The Bootstrap Authors
 * Copyright 2011-2020 Twitter, Inc.
 * Licensed under MIT (https://github.com/twbs/bootstrap/blob/master/LICENSE)
 */

 .btn {
    display: inline-block;
    font-weight: 400;
    color: #839496;
    text-align: center;
    vertical-align: middle;
    -webkit-user-select: none;
    -moz-user-select: none;
    -ms-user-select: none;
    user-select: none;
    background-color: transparent;
    border: 1px solid transparent;
    padding: 0.375rem 0.75rem;
    font-size: 1rem;
    line-height: 1.5;
    border-radius: 0.25rem;
    -webkit-transition: color 0.15s ease-in-out, background-color 0.15s ease-in-out, border-color 0.15s ease-in-out, -webkit-box-shadow 0.15s ease-in-out;
    transition: color 0.15s ease-in-out, background-color 0.15s ease-in-out, border-color 0.15s ease-in-out, -webkit-box-shadow 0.15s ease-in-out;
    transition: color 0.15s ease-in-out, background-color 0.15s ease-in-out, border-color 0.15s ease-in-out, box-shadow 0.15s ease-in-out;
    transition: color 0.15s ease-in-out, background-color 0.15s ease-in-out, border-color 0.15s ease-in-out, box-shadow 0.15s ease-in-out, -webkit-box-shadow 0.15s ease-in-out;
}

@media (prefers-reduced-motion: reduce) {
    .btn {
        -webkit-transition: none;
        transition: none;
    }
}

.btn:hover {
    color: #839496;
    text-decoration: none;
}

.btn:focus,
.btn.focus {
    outline: 0;
    -webkit-box-shadow: 0 0 0 0.2rem rgba(7, 54, 66, 0.25);
    box-shadow: 0 0 0 0.2rem rgba(7, 54, 66, 0.25);
}

.btn.disabled,
.btn:disabled {
    opacity: 0.65;
}

.btn:not(:disabled):not(.disabled) {
    cursor: pointer;
}

a.btn.disabled,
fieldset:disabled a.btn {
    pointer-events: none;
}

.btn-info {
    color: #fff;
    background: #268BD2 -webkit-gradient(linear, left top, left bottom, from(#207dbb), to(#268BD2)) repeat-x;
    background: #268BD2 linear-gradient(180deg, #207dbb, #268BD2) repeat-x;
    border-color: #268BD2;
}

.btn-info:hover {
    color: #fff;
    background: #2076b2 -webkit-gradient(linear, left top, left bottom, from(#1b6a9f), to(#2076b2)) repeat-x;
    background: #2076b2 linear-gradient(180deg, #1b6a9f, #2076b2) repeat-x;
    border-color: #1e6ea7;
}

.btn-info:focus,
.btn-info.focus {
    color: #fff;
    background: #2076b2 -webkit-gradient(linear, left top, left bottom, from(#1b6a9f), to(#2076b2)) repeat-x;
    background: #2076b2 linear-gradient(180deg, #1b6a9f, #2076b2) repeat-x;
    border-color: #1e6ea7;
    -webkit-box-shadow: 0 0 0 0.2rem rgba(71, 156, 217, 0.5);
    box-shadow: 0 0 0 0.2rem rgba(71, 156, 217, 0.5);
}

.btn-info.disabled,
.btn-info:disabled {
    color: #fff;
    background-color: #268BD2;
    border-color: #268BD2;
    background-image: none;
}

.btn-info:not(:disabled):not(.disabled):active,
.btn-info:not(:disabled):not(.disabled).active,
.show > .btn-info.dropdown-toggle {
    color: #fff;
    background-color: #1e6ea7;
    background-image: none;
    border-color: #1c679c;
}

.btn-info:not(:disabled):not(.disabled):active:focus,
.btn-info:not(:disabled):not(.disabled).active:focus,
.show > .btn-info.dropdown-toggle:focus {
    -webkit-box-shadow: 0 0 0 0.2rem rgba(71, 156, 217, 0.5);
    box-shadow: 0 0 0 0.2rem rgba(71, 156, 217, 0.5);
}