1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/js/google-code-prettify/prettify.css	Fri Jul 04 16:42:41 2014 +0400
     1.3 @@ -0,0 +1,31 @@
     1.4 +.com { color: #93a1a1; }
     1.5 +.lit { color: #195f91; }
     1.6 +.pun, .opn, .clo { color: #93a1a1; }
     1.7 +.fun { color: #dc322f; }
     1.8 +.str, .atv { color: #D14; }
     1.9 +.kwd, .prettyprint .tag { color: #1e347b; }
    1.10 +.typ, .atn, .dec, .var { color: teal; }
    1.11 +.pln { color: #48484c; }
    1.12 +
    1.13 +.prettyprint {
    1.14 +  padding: 14px 8px;
    1.15 +  background-color: #000;
    1.16 +  color: #fff !important;
    1.17 +  border: 0;
    1.18 +}
    1.19 +.prettyprint.linenums {
    1.20 +  -webkit-box-shadow: inset 40px 0 0 #fbfbfc, inset 41px 0 0 #ececf0;
    1.21 +     -moz-box-shadow: inset 40px 0 0 #fbfbfc, inset 41px 0 0 #ececf0;
    1.22 +          box-shadow: inset 40px 0 0 #fbfbfc, inset 41px 0 0 #ececf0;
    1.23 +}
    1.24 +
    1.25 +/* Specify class=linenums on a pre to get line numbering */
    1.26 +ol.linenums {
    1.27 +  margin: 0 0 0 32px; /* IE indents via margin-left */
    1.28 +}
    1.29 +ol.linenums li {
    1.30 +  padding-left: 8px;
    1.31 +  color: #bebec5;
    1.32 +  line-height: 14p;x
    1.33 +  text-shadow: 0 1px 0 #fff;
    1.34 +}