You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
221 lines
3.3 KiB
SCSS
221 lines
3.3 KiB
SCSS
.highlight table td { padding: 5px; }
|
|
.highlight table pre { margin: 0; }
|
|
.highlight .cm {
|
|
color: #999988;
|
|
font-style: italic;
|
|
}
|
|
.highlight .cp {
|
|
color: #999999;
|
|
font-weight: bold;
|
|
}
|
|
.highlight .c1 {
|
|
color: #999988;
|
|
font-style: italic;
|
|
}
|
|
.highlight .cs {
|
|
color: #999999;
|
|
font-weight: bold;
|
|
font-style: italic;
|
|
}
|
|
.highlight .c, .highlight .cd {
|
|
color: #999988;
|
|
font-style: italic;
|
|
}
|
|
.highlight .err {
|
|
color: #a61717;
|
|
background-color: #e3d2d2;
|
|
}
|
|
.highlight .gd {
|
|
// color: #000000;
|
|
color: var(--clr-code-bold-text);
|
|
background-color: #ffdddd;
|
|
}
|
|
.highlight .ge {
|
|
// color: #000000;
|
|
color: var(--clr-code-bold-text);
|
|
font-style: italic;
|
|
}
|
|
.highlight .gr {
|
|
color: #aa0000;
|
|
}
|
|
.highlight .gh {
|
|
color: #999999;
|
|
}
|
|
.highlight .gi {
|
|
// color: #000000;
|
|
color: var(--clr-code-bold-text);
|
|
background-color: #ddffdd;
|
|
}
|
|
.highlight .go {
|
|
color: #888888;
|
|
}
|
|
.highlight .gp {
|
|
color: #555555;
|
|
}
|
|
.highlight .gs {
|
|
font-weight: bold;
|
|
}
|
|
.highlight .gu {
|
|
color: #aaaaaa;
|
|
}
|
|
.highlight .gt {
|
|
color: #aa0000;
|
|
}
|
|
.highlight .kc {
|
|
// color: #000000;
|
|
color: var(--clr-code-bold-text);
|
|
font-weight: bold;
|
|
}
|
|
.highlight .kd {
|
|
// color: #000000;
|
|
color: var(--clr-code-bold-text);
|
|
font-weight: bold;
|
|
}
|
|
.highlight .kn {
|
|
// color: #000000;
|
|
color: var(--clr-code-bold-text);
|
|
font-weight: bold;
|
|
}
|
|
.highlight .kp {
|
|
// color: #000000;
|
|
color: var(--clr-code-bold-text);
|
|
font-weight: bold;
|
|
}
|
|
.highlight .kr {
|
|
// color: #000000;
|
|
color: var(--clr-code-bold-text);
|
|
font-weight: bold;
|
|
}
|
|
.highlight .kt {
|
|
color: #445588;
|
|
font-weight: bold;
|
|
}
|
|
.highlight .k, .highlight .kv {
|
|
// color: #000000;
|
|
color: var(--clr-code-bold-text);
|
|
font-weight: bold;
|
|
}
|
|
.highlight .mf {
|
|
color: #009999;
|
|
}
|
|
.highlight .mh {
|
|
color: #009999;
|
|
}
|
|
.highlight .il {
|
|
color: #009999;
|
|
}
|
|
.highlight .mi {
|
|
color: #009999;
|
|
}
|
|
.highlight .mo {
|
|
color: #009999;
|
|
}
|
|
.highlight .m, .highlight .mb, .highlight .mx {
|
|
color: #009999;
|
|
}
|
|
.highlight .sb {
|
|
color: #d14;
|
|
}
|
|
.highlight .sc {
|
|
color: #d14;
|
|
}
|
|
.highlight .sd {
|
|
color: #d14;
|
|
}
|
|
.highlight .s2 {
|
|
color: #d14;
|
|
}
|
|
.highlight .se {
|
|
color: #d14;
|
|
}
|
|
.highlight .sh {
|
|
color: #d14;
|
|
}
|
|
.highlight .si {
|
|
color: #d14;
|
|
}
|
|
.highlight .sx {
|
|
color: #d14;
|
|
}
|
|
.highlight .sr {
|
|
color: #009926;
|
|
}
|
|
.highlight .s1 {
|
|
color: #d14;
|
|
}
|
|
.highlight .ss {
|
|
color: #990073;
|
|
}
|
|
.highlight .s {
|
|
color: #d14;
|
|
}
|
|
.highlight .na {
|
|
color: #008080;
|
|
}
|
|
.highlight .bp {
|
|
color: #999999;
|
|
}
|
|
.highlight .nb {
|
|
color: #0086B3;
|
|
}
|
|
.highlight .nc {
|
|
color: #445588;
|
|
font-weight: bold;
|
|
}
|
|
.highlight .no {
|
|
color: #008080;
|
|
}
|
|
.highlight .nd {
|
|
color: #3c5d5d;
|
|
font-weight: bold;
|
|
}
|
|
.highlight .ni {
|
|
color: #800080;
|
|
}
|
|
.highlight .ne {
|
|
color: #990000;
|
|
font-weight: bold;
|
|
}
|
|
.highlight .nf {
|
|
color: #990000;
|
|
font-weight: bold;
|
|
}
|
|
.highlight .nl {
|
|
color: #990000;
|
|
font-weight: bold;
|
|
}
|
|
.highlight .nn {
|
|
color: #555555;
|
|
}
|
|
.highlight .nt {
|
|
color: #000080;
|
|
}
|
|
.highlight .vc {
|
|
color: #008080;
|
|
}
|
|
.highlight .vg {
|
|
color: #008080;
|
|
}
|
|
.highlight .vi {
|
|
color: #008080;
|
|
}
|
|
.highlight .nv {
|
|
color: #008080;
|
|
}
|
|
.highlight .ow {
|
|
// color: #000000;
|
|
color: var(--clr-code-bold-text);
|
|
font-weight: bold;
|
|
}
|
|
.highlight .o {
|
|
// color: #000000;
|
|
color: var(--clr-code-bold-text);
|
|
font-weight: bold;
|
|
}
|
|
.highlight .w {
|
|
color: #bbbbbb;
|
|
}
|
|
// .highlight {
|
|
// background-color: #f8f8f8;
|
|
// }
|