js/google-code-prettify/prettify.css
changeset 0 ba8ab09f730e
equal deleted inserted replaced
-1:000000000000 0:ba8ab09f730e
       
     1 .com { color: #93a1a1; }
       
     2 .lit { color: #195f91; }
       
     3 .pun, .opn, .clo { color: #93a1a1; }
       
     4 .fun { color: #dc322f; }
       
     5 .str, .atv { color: #D14; }
       
     6 .kwd, .prettyprint .tag { color: #1e347b; }
       
     7 .typ, .atn, .dec, .var { color: teal; }
       
     8 .pln { color: #48484c; }
       
     9 
       
    10 .prettyprint {
       
    11   padding: 14px 8px;
       
    12   background-color: #000;
       
    13   color: #fff !important;
       
    14   border: 0;
       
    15 }
       
    16 .prettyprint.linenums {
       
    17   -webkit-box-shadow: inset 40px 0 0 #fbfbfc, inset 41px 0 0 #ececf0;
       
    18      -moz-box-shadow: inset 40px 0 0 #fbfbfc, inset 41px 0 0 #ececf0;
       
    19           box-shadow: inset 40px 0 0 #fbfbfc, inset 41px 0 0 #ececf0;
       
    20 }
       
    21 
       
    22 /* Specify class=linenums on a pre to get line numbering */
       
    23 ol.linenums {
       
    24   margin: 0 0 0 32px; /* IE indents via margin-left */
       
    25 }
       
    26 ol.linenums li {
       
    27   padding-left: 8px;
       
    28   color: #bebec5;
       
    29   line-height: 14p;x
       
    30   text-shadow: 0 1px 0 #fff;
       
    31 }