/* Pretty printing styles. Used with prettify.js. */
            .str { color: #080; }
            .kwd { color: #008; }
            .com { color: #800; }
            .typ { color: #606; }
            .lit { color: #066; }
            .pun { color: #660; }
            .pln { color: #000; }
            .tag { color: #008; }
            .atn { color: #606; }
            .atv { color: #080; }
            .dec { color: #606; }
            pre.prettyprint { padding: 10px; border: 1px solid #cecece; }

            @media print {
              .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 { color: #440; }
              .pln { color: #000; }
              .tag { color: #006; font-weight: bold; }
              .atn { color: #404; }
              .atv { color: #060; }
            }
            pre.prettyprint{
                overflow: auto;
            }