2011-06-30 22:17:58 +02:00
|
|
|
.com { color: #93a1a1; }
|
|
|
|
|
.lit { color: #195f91; }
|
|
|
|
|
.pun, .opn, .clo { color: #93a1a1; }
|
|
|
|
|
.fun { color: #dc322f; }
|
2012-01-07 08:59:22 +01:00
|
|
|
.str, .atv { color: #D14; }
|
|
|
|
|
.kwd, .linenums .tag { color: #1e347b; }
|
|
|
|
|
.typ, .atn, .dec, .var { color: teal; }
|
|
|
|
|
.pln { color: #48484c; }
|
2011-06-30 22:36:47 +02:00
|
|
|
pre.prettyprint {
|
2012-01-05 10:34:14 +01:00
|
|
|
background-color: #fefbf3;
|
2011-06-30 22:36:47 +02:00
|
|
|
padding: 9px;
|
2012-01-05 10:34:14 +01:00
|
|
|
margin-bottom: 9px;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
pre.prettyprint {
|
|
|
|
|
color: #ccc;
|
|
|
|
|
background-color: #252525;
|
2011-06-30 22:17:58 +02:00
|
|
|
}
|
|
|
|
|
|
2012-01-07 08:59:22 +01:00
|
|
|
pre.prettyprint {
|
|
|
|
|
padding: 8px;
|
|
|
|
|
background-color: #f7f7f9;
|
|
|
|
|
border: 1px solid #e1e1e8;
|
|
|
|
|
}
|
|
|
|
|
|
2011-06-30 22:36:47 +02:00
|
|
|
/* Specify class=linenums on a pre to get line numbering */
|
|
|
|
|
ol.linenums { margin: 0 0 0 40px; } /* IE indents via margin-left */
|
2012-01-07 08:59:22 +01:00
|
|
|
ol.linenums li { color: #bebec5; line-height: 18px; text-shadow: 0 1px 0 #fff; }
|
2011-06-30 22:36:47 +02:00
|
|
|
/* Alternate shading for lines */
|
2012-01-05 10:34:14 +01:00
|
|
|
li.L1, li.L3, li.L5, li.L7, li.L9 { }
|
