mirror of
https://github.com/TomHodson/tomhodson.github.com.git
synced 2025-06-26 10:01:18 +02:00
7fce46d22a
commit ddd4a9145fb903eba795f3dea9402268a099e651
Author: Tom <thomas.hodson@ecmwf.int>
Date: Sun Feb 16 18:26:06 2025 +0000
Make executable code snippets post
234 lines
3.1 KiB
SCSS
234 lines
3.1 KiB
SCSS
.highlight {
|
|
font-family: SFMono-Regular, Menlo, Monaco, Consolas, Liberation Mono,
|
|
Courier New, Courier, monospace;
|
|
font-size: 12px;
|
|
line-height: 1.4;
|
|
}
|
|
|
|
.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 .ch,
|
|
.highlight .cd,
|
|
.highlight .cpf {
|
|
color: #999988;
|
|
font-style: italic;
|
|
}
|
|
.highlight .err {
|
|
color: #a61717;
|
|
background-color: #e3d2d2;
|
|
}
|
|
.highlight .gd {
|
|
color: #000000;
|
|
background-color: #ffdddd;
|
|
}
|
|
.highlight .ge {
|
|
color: #000000;
|
|
font-style: italic;
|
|
}
|
|
.highlight .gr {
|
|
color: #aa0000;
|
|
}
|
|
.highlight .gh {
|
|
color: #999999;
|
|
}
|
|
.highlight .gi {
|
|
color: #000000;
|
|
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;
|
|
font-weight: bold;
|
|
}
|
|
.highlight .kd {
|
|
color: #000000;
|
|
font-weight: bold;
|
|
}
|
|
.highlight .kn {
|
|
color: #000000;
|
|
font-weight: bold;
|
|
}
|
|
.highlight .kp {
|
|
color: #000000;
|
|
font-weight: bold;
|
|
}
|
|
.highlight .kr {
|
|
color: #000000;
|
|
font-weight: bold;
|
|
}
|
|
.highlight .kt {
|
|
color: #445588;
|
|
font-weight: bold;
|
|
}
|
|
.highlight .k,
|
|
.highlight .kv {
|
|
color: #000000;
|
|
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 .sa {
|
|
color: #000000;
|
|
font-weight: bold;
|
|
}
|
|
.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,
|
|
.highlight .dl {
|
|
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,
|
|
.highlight .fm {
|
|
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,
|
|
.highlight .vm {
|
|
color: #008080;
|
|
}
|
|
.highlight .ow {
|
|
color: #000000;
|
|
font-weight: bold;
|
|
}
|
|
.highlight .o {
|
|
color: #000000;
|
|
font-weight: bold;
|
|
}
|
|
.highlight .w {
|
|
color: #bbbbbb;
|
|
}
|
|
.highlight {
|
|
background-color: #f8f8f8;
|
|
}
|