You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

122 lines
1.5 KiB

5 years ago
.pln {
color: #000
}
@media screen {
.str {
color: #080
}
.kwd {
color: #008
}
.com {
color: #800
}
.typ {
color: #606
}
.lit {
color: #066
}
.pun, .opn, .clo {
color: #660
}
.tag {
color: #008
}
.atn {
color: #606
}
.atv {
color: #080
}
.dec, .var {
color: #606
}
.fun {
color: red
}
}
@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
}
}
pre.prettyprint {
padding: 2px;
border: 1px solid #888
}
ol.linenums {
margin-top: 0;
margin-bottom: 0
}
li.L0, li.L1, li.L2, li.L3, li.L5, li.L6, li.L7, li.L8 {
list-style-type: none
}
li.L1, li.L3, li.L5, li.L7, li.L9 {
background: #eee
}
pre.prettyprint {
border: 0;
border-left: 3px solid rgb(204, 204, 204);
margin-left: 2em;
padding: 0.5em;
font-size: 110%;
display: block;
font-family: "Consolas", "Monaco", "Bitstream Vera Sans Mono", "Courier New", Courier, monospace;
margin: 1em 0px;
white-space: pre;
}