2015-01-20 21:25:57 +01:00
|
|
|
/* ==========================================================================
|
2015-10-30 19:02:58 +01:00
|
|
|
Syntax highlighting
|
2015-01-20 21:25:57 +01:00
|
|
|
========================================================================== */
|
|
|
|
|
|
2016-03-21 21:36:24 +01:00
|
|
|
div.highlighter-rouge, figure.highlight {
|
2016-03-10 04:19:11 +01:00
|
|
|
margin-bottom: 1em;
|
|
|
|
|
padding: 1em;
|
2016-03-10 17:13:54 +01:00
|
|
|
border: 1px solid $border-color;
|
2016-03-10 04:19:11 +01:00
|
|
|
border-radius: $border-radius;
|
2016-04-01 03:41:00 +02:00
|
|
|
background-color: $code-background-color;
|
|
|
|
|
box-shadow: $box-shadow;
|
2016-03-21 21:36:24 +01:00
|
|
|
|
2016-03-10 04:19:11 +01:00
|
|
|
.highlight {
|
|
|
|
|
margin: 0;
|
|
|
|
|
font-family: $monospace;
|
2016-04-01 03:41:00 +02:00
|
|
|
font-size: $type-size-7;
|
|
|
|
|
line-height: 1.8;
|
2016-03-10 04:19:11 +01:00
|
|
|
}
|
2015-10-30 19:02:58 +01:00
|
|
|
}
|
|
|
|
|
|
2016-03-10 04:19:11 +01:00
|
|
|
.highlight table td { padding: 5px; }
|
|
|
|
|
.highlight table pre { margin: 0; }
|
2016-03-21 21:36:24 +01:00
|
|
|
|
2016-04-01 03:41:00 +02:00
|
|
|
/* GitHub style */
|
2016-03-25 14:33:28 +01:00
|
|
|
|
2016-04-01 03:41:00 +02:00
|
|
|
.highlight .c { color: #999988; font-style: italic; }
|
|
|
|
|
.highlight .err { color: #a61717; background-color: #e3d2d2; }
|
|
|
|
|
.highlight .k { font-weight: bold; }
|
|
|
|
|
.highlight .o { font-weight: bold; }
|
|
|
|
|
.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 .gd { color: #000000; background-color: #ffdddd; }
|
|
|
|
|
.highlight .gd .x { color: #000000; background-color: #ffaaaa; }
|
|
|
|
|
.highlight .ge { font-style: italic; }
|
|
|
|
|
.highlight .gr { color: #aa0000; }
|
|
|
|
|
.highlight .gh { color: #999999; }
|
|
|
|
|
.highlight .gi { color: #000000; background-color: #ddffdd; }
|
|
|
|
|
.highlight .gi .x { color: #000000; background-color: #aaffaa; }
|
|
|
|
|
.highlight .go { color: #888888; }
|
|
|
|
|
.highlight .gp { color: #555555; }
|
|
|
|
|
.highlight .gs { font-weight: bold; }
|
|
|
|
|
.highlight .gu { color: #800080; font-weight: bold; }
|
|
|
|
|
.highlight .gt { color: #aa0000; }
|
|
|
|
|
.highlight .kc { font-weight: bold; }
|
|
|
|
|
.highlight .kd { font-weight: bold; }
|
|
|
|
|
.highlight .kn { font-weight: bold; }
|
|
|
|
|
.highlight .kp { font-weight: bold; }
|
|
|
|
|
.highlight .kr { font-weight: bold; }
|
|
|
|
|
.highlight .kt { color: #445588; font-weight: bold; }
|
|
|
|
|
.highlight .m { color: #009999; }
|
|
|
|
|
.highlight .s { color: #dd1144; }
|
|
|
|
|
.highlight .n { color: #333333; }
|
|
|
|
|
.highlight .na { color: teal; }
|
|
|
|
|
.highlight .nb { color: #0086b3; }
|
|
|
|
|
.highlight .nc { color: #445588; font-weight: bold; }
|
|
|
|
|
.highlight .no { color: teal; }
|
|
|
|
|
.highlight .ni { color: purple; }
|
|
|
|
|
.highlight .ne { color: #990000; font-weight: bold; }
|
|
|
|
|
.highlight .nf { color: #990000; font-weight: bold; }
|
|
|
|
|
.highlight .nn { color: #555555; }
|
|
|
|
|
.highlight .nt { color: navy; }
|
|
|
|
|
.highlight .nv { color: teal; }
|
|
|
|
|
.highlight .ow { font-weight: bold; }
|
|
|
|
|
.highlight .w { color: #bbbbbb; }
|
|
|
|
|
.highlight .mf { color: #009999; }
|
|
|
|
|
.highlight .mh { color: #009999; }
|
|
|
|
|
.highlight .mi { color: #009999; }
|
|
|
|
|
.highlight .mo { color: #009999; }
|
|
|
|
|
.highlight .sb { color: #dd1144; }
|
|
|
|
|
.highlight .sc { color: #dd1144; }
|
|
|
|
|
.highlight .sd { color: #dd1144; }
|
|
|
|
|
.highlight .s2 { color: #dd1144; }
|
|
|
|
|
.highlight .se { color: #dd1144; }
|
|
|
|
|
.highlight .sh { color: #dd1144; }
|
|
|
|
|
.highlight .si { color: #dd1144; }
|
|
|
|
|
.highlight .sx { color: #dd1144; }
|
|
|
|
|
.highlight .sr { color: #009926; }
|
|
|
|
|
.highlight .s1 { color: #dd1144; }
|
|
|
|
|
.highlight .ss { color: #990073; }
|
|
|
|
|
.highlight .bp { color: #999999; }
|
|
|
|
|
.highlight .vc { color: teal; }
|
|
|
|
|
.highlight .vg { color: teal; }
|
|
|
|
|
.highlight .vi { color: teal; }
|
|
|
|
|
.highlight .il { color: #009999; }
|
|
|
|
|
.highlight .gc { color: #999; background-color: #eaf2f5; }
|
