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