iankelling.org
/
git
/
iankelling.org
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
fix missing dependencies
[iankelling.org]
/
css
/
code-highlight.scss
diff --git
a/css/code-highlight.scss
b/css/code-highlight.scss
index d5d05f2f26f9baf84e6d0bba0d3e10d76a53b66a..7649d13f08376f63d2f2a2f318183fb701df437f 100644
(file)
--- a/
css/code-highlight.scss
+++ b/
css/code-highlight.scss
@@
-12,209
+12,209
@@
/* print HtmlFormatter().get_style_defs('.highlight')*/
.highlight .cm {
/* print HtmlFormatter().get_style_defs('.highlight')*/
.highlight .cm {
-
color: #999988;
-
font-style: italic;
+ color: #999988;
+ font-style: italic;
}
.highlight .cp {
}
.highlight .cp {
-
color: #999999;
-
font-weight: bold;
+ color: #999999;
+ font-weight: bold;
}
.highlight .c1 {
}
.highlight .c1 {
-
color: #999988;
-
font-style: italic;
+ color: #999988;
+ font-style: italic;
}
.highlight .cs {
}
.highlight .cs {
-
color: #999999;
-
font-weight: bold;
-
font-style: italic;
+ color: #999999;
+ font-weight: bold;
+ font-style: italic;
}
.highlight .c, .highlight .cd {
}
.highlight .c, .highlight .cd {
-
color: #999988;
-
font-style: italic;
+ color: #999988;
+ font-style: italic;
}
.highlight .err {
}
.highlight .err {
-
color: #a61717;
-
background-color: #e3d2d2;
+ color: #a61717;
+ background-color: #e3d2d2;
}
.highlight .gd {
}
.highlight .gd {
-
color: #000000;
-
background-color: #ffdddd;
+ color: #000000;
+ background-color: #ffdddd;
}
.highlight .ge {
}
.highlight .ge {
-
color: #000000;
-
font-style: italic;
+ color: #000000;
+ font-style: italic;
}
.highlight .gr {
}
.highlight .gr {
-
color: #aa0000;
+ color: #aa0000;
}
.highlight .gh {
}
.highlight .gh {
-
color: #999999;
+ color: #999999;
}
.highlight .gi {
}
.highlight .gi {
-
color: #000000;
-
background-color: #ddffdd;
+ color: #000000;
+ background-color: #ddffdd;
}
.highlight .go {
}
.highlight .go {
-
color: #888888;
+ color: #888888;
}
.highlight .gp {
}
.highlight .gp {
-
color: #555555;
+ color: #555555;
}
.highlight .gs {
}
.highlight .gs {
-
font-weight: bold;
+ font-weight: bold;
}
.highlight .gu {
}
.highlight .gu {
-
color: #aaaaaa;
+ color: #aaaaaa;
}
.highlight .gt {
}
.highlight .gt {
-
color: #aa0000;
+ color: #aa0000;
}
.highlight .kc {
}
.highlight .kc {
-
color: #000000;
-
font-weight: bold;
+ color: #000000;
+ font-weight: bold;
}
.highlight .kd {
}
.highlight .kd {
-
color: #000000;
-
font-weight: bold;
+ color: #000000;
+ font-weight: bold;
}
.highlight .kn {
}
.highlight .kn {
-
color: #000000;
-
font-weight: bold;
+ color: #000000;
+ font-weight: bold;
}
.highlight .kp {
}
.highlight .kp {
-
color: #000000;
-
font-weight: bold;
+ color: #000000;
+ font-weight: bold;
}
.highlight .kr {
}
.highlight .kr {
-
color: #000000;
-
font-weight: bold;
+ color: #000000;
+ font-weight: bold;
}
.highlight .kt {
}
.highlight .kt {
-
color: #445588;
-
font-weight: bold;
+ color: #445588;
+ font-weight: bold;
}
.highlight .k, .highlight .kv {
}
.highlight .k, .highlight .kv {
-
color: #000000;
-
font-weight: bold;
+ color: #000000;
+ font-weight: bold;
}
.highlight .mf {
}
.highlight .mf {
-
color: #009999;
+ color: #009999;
}
.highlight .mh {
}
.highlight .mh {
-
color: #009999;
+ color: #009999;
}
.highlight .il {
}
.highlight .il {
-
color: #009999;
+ color: #009999;
}
.highlight .mi {
}
.highlight .mi {
-
color: #009999;
+ color: #009999;
}
.highlight .mo {
}
.highlight .mo {
-
color: #009999;
+ color: #009999;
}
.highlight .m, .highlight .mb, .highlight .mx {
}
.highlight .m, .highlight .mb, .highlight .mx {
-
color: #009999;
+ color: #009999;
}
.highlight .sb {
}
.highlight .sb {
-
color: #d14;
+ color: #d14;
}
.highlight .sc {
}
.highlight .sc {
-
color: #d14;
+ color: #d14;
}
.highlight .sd {
}
.highlight .sd {
-
color: #d14;
+ color: #d14;
}
.highlight .s2 {
}
.highlight .s2 {
-
color: #d14;
+ color: #d14;
}
.highlight .se {
}
.highlight .se {
-
color: #d14;
+ color: #d14;
}
.highlight .sh {
}
.highlight .sh {
-
color: #d14;
+ color: #d14;
}
.highlight .si {
}
.highlight .si {
-
color: #d14;
+ color: #d14;
}
.highlight .sx {
}
.highlight .sx {
-
color: #d14;
+ color: #d14;
}
.highlight .sr {
}
.highlight .sr {
-
color: #009926;
+ color: #009926;
}
.highlight .s1 {
}
.highlight .s1 {
-
color: #d14;
+ color: #d14;
}
.highlight .ss {
}
.highlight .ss {
-
color: #990073;
+ color: #990073;
}
.highlight .s {
}
.highlight .s {
-
color: #d14;
+ color: #d14;
}
.highlight .na {
}
.highlight .na {
-
color: #008080;
+ color: #008080;
}
.highlight .bp {
}
.highlight .bp {
-
color: #999999;
+ color: #999999;
}
.highlight .nb {
}
.highlight .nb {
-
color: #0086B3;
+ color: #0086B3;
}
.highlight .nc {
}
.highlight .nc {
-
color: #445588;
-
font-weight: bold;
+ color: #445588;
+ font-weight: bold;
}
.highlight .no {
}
.highlight .no {
-
color: #008080;
+ color: #008080;
}
.highlight .nd {
}
.highlight .nd {
-
color: #3c5d5d;
-
font-weight: bold;
+ color: #3c5d5d;
+ font-weight: bold;
}
.highlight .ni {
}
.highlight .ni {
-
color: #800080;
+ color: #800080;
}
.highlight .ne {
}
.highlight .ne {
-
color: #990000;
-
font-weight: bold;
+ color: #990000;
+ font-weight: bold;
}
.highlight .nf {
}
.highlight .nf {
-
color: #990000;
-
font-weight: bold;
+ color: #990000;
+ font-weight: bold;
}
.highlight .nl {
}
.highlight .nl {
-
color: #990000;
-
font-weight: bold;
+ color: #990000;
+ font-weight: bold;
}
.highlight .nn {
}
.highlight .nn {
-
color: #555555;
+ color: #555555;
}
.highlight .nt {
}
.highlight .nt {
-
color: #000080;
+ color: #000080;
}
.highlight .vc {
}
.highlight .vc {
-
color: #008080;
+ color: #008080;
}
.highlight .vg {
}
.highlight .vg {
-
color: #008080;
+ color: #008080;
}
.highlight .vi {
}
.highlight .vi {
-
color: #008080;
+ color: #008080;
}
.highlight .nv {
}
.highlight .nv {
-
color: #008080;
+ color: #008080;
}
.highlight .ow {
}
.highlight .ow {
-
color: #000000;
-
font-weight: bold;
+ color: #000000;
+ font-weight: bold;
}
.highlight .o {
}
.highlight .o {
-
color: #000000;
-
font-weight: bold;
+ color: #000000;
+ font-weight: bold;
}
.highlight .w {
}
.highlight .w {
-
color: #bbbbbb;
+ color: #bbbbbb;
}
.highlight {
}
.highlight {
-
background-color: #f8f8f8;
+ background-color: #f8f8f8;
}
}