Web/style/prettify.css

/**
 * @license
 * Copyright (C) 2015 Google Inc.
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *      http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

/* Pretty printing styles. Used with prettify.js. */


/* SPAN elements with the classes below are added by prettyprint. */
.pln {
    color: #000
}

/* plain text */

@media screen {
    .str {
        color: #080
    }

    /* string content */
    .kwd {
        color: #008
    }

    /* a keyword */
    .com {
        color: #800
    }

    /* a comment */
    .typ {
        color: #606
    }

    /* a type name */
    .lit {
        color: #066
    }

    /* a literal value */
    /* punctuation, lisp open bracket, lisp close bracket */
    .pun,
    .opn,
    .clo {
        color: #660
    }

    .tag {
        color: #008
    }

    /* a markup tag name */
    .atn {
        color: #606
    }

    /* a markup attribute name */
    .atv {
        color: #080
    }

    /* a markup attribute value */
    .dec,
    .var {
        color: #606
    }

    /* a declaration; a variable name */
    .fun {
        color: red
    }

    /* a function name */
}

/* Use higher contrast and text-weight for printable form. */
@media print,
projection {
    .str {
        color: #060
    }

    .kwd {
        color: #006;
        font-weight: bold
    }

    .com {
        color: #600;
        font-style: italic
    }

    .typ {
        color: #404;
        font-weight: bold
    }

    .lit {
        color: #044
    }

    .pun,
    .opn,
    .clo {
        color: #440
    }

    .tag {
        color: #006;
        font-weight: bold
    }

    .atn {
        color: #404
    }

    .atv {
        color: #060
    }
}

/* Put a border around prettyprinted code snippets. */
pre.prettyprint {
    border-radius: 5px;
}

.prettyprint {
    background: #ececec;
}

/* Specify class=linenums on a pre to get line numbering */
ol.linenums {
    margin-top: 0;
    margin-bottom: 0
}