2019-02-22 12:50:11 +03:00
|
|
|
$color01: #000;
|
|
|
|
$color02: #000080;
|
|
|
|
$color03: #00f;
|
|
|
|
$color04: #008080;
|
|
|
|
$color05: #080;
|
|
|
|
$color06: #555;
|
|
|
|
$color07: #800080;
|
|
|
|
$color08: #888;
|
|
|
|
$color09: #999;
|
|
|
|
$color10: #a61717;
|
|
|
|
$color11: #a00;
|
|
|
|
$color12: #aaa;
|
|
|
|
$color13: #bbb;
|
|
|
|
$color14: #dfd;
|
|
|
|
$color15: #e3d2d2;
|
|
|
|
$color16: #f00;
|
|
|
|
$color17: #fdd;
|
|
|
|
$color18: #ffc;
|
|
|
|
|
|
|
|
.highlight.hll {
|
|
|
|
background-color: $color18;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .c {
|
|
|
|
color: $color05;
|
|
|
|
font-style: italic;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .err {
|
|
|
|
background-color: $color15;
|
|
|
|
color: $color10;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .k {
|
|
|
|
color: $color02;
|
|
|
|
font-weight: bold;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .cm {
|
|
|
|
color: $color05;
|
|
|
|
font-style: italic;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .cp {
|
|
|
|
color: $color04;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .c1 {
|
|
|
|
color: $color05;
|
|
|
|
font-style: italic;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .cs {
|
|
|
|
color: $color05;
|
|
|
|
font-weight: bold;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .gd {
|
|
|
|
background-color: $color17;
|
|
|
|
color: $color01;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .ge {
|
|
|
|
font-style: italic;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .gr {
|
|
|
|
color: $color11;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .gh {
|
|
|
|
color: $color09;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .gi {
|
|
|
|
background-color: $color14;
|
|
|
|
color: $color01;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .go {
|
|
|
|
color: $color08;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .gp {
|
|
|
|
color: $color06;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .gs {
|
|
|
|
font-weight: bold;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .gu {
|
|
|
|
color: $color12;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .gt {
|
|
|
|
color: $color11;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .kc {
|
|
|
|
color: $color02;
|
|
|
|
font-weight: bold;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .kd {
|
|
|
|
color: $color02;
|
|
|
|
font-weight: bold;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .kn {
|
|
|
|
color: $color02;
|
|
|
|
font-weight: bold;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .kp {
|
|
|
|
color: $color02;
|
|
|
|
font-weight: bold;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .kr {
|
|
|
|
color: $color02;
|
|
|
|
font-weight: bold;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .kt {
|
|
|
|
color: $color02;
|
|
|
|
font-weight: bold;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .m {
|
|
|
|
color: $color03;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .s {
|
|
|
|
color: $color03;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .na {
|
|
|
|
color: $color16;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .nt {
|
|
|
|
color: $color02;
|
|
|
|
font-weight: bold;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .ow {
|
|
|
|
font-weight: bold;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .w {
|
|
|
|
color: $color13;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .mf {
|
|
|
|
color: $color03;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .mh {
|
|
|
|
color: $color03;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .mi {
|
|
|
|
color: $color03;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .mo {
|
|
|
|
color: $color03;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .sb {
|
|
|
|
color: $color03;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .sc {
|
|
|
|
color: $color07;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .sd {
|
|
|
|
color: $color03;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .s2 {
|
|
|
|
color: $color03;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .se {
|
|
|
|
color: $color03;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .sh {
|
|
|
|
color: $color03;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .si {
|
|
|
|
color: $color03;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .sx {
|
|
|
|
color: $color03;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .sr {
|
|
|
|
color: $color03;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .s1 {
|
|
|
|
color: $color03;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .ss {
|
|
|
|
color: $color03;
|
|
|
|
}
|
2018-12-16 17:52:09 +03:00
|
|
|
|
2019-02-22 12:50:11 +03:00
|
|
|
.highlight .il {
|
|
|
|
color: $color03;
|
2018-12-16 17:52:09 +03:00
|
|
|
}
|