css: Import pygment's monokai highlighting style

1 files changed, 89 insertions, 0 deletions

diff --git a/html/style.css b/html/style.css
index 27a9f0a..fa89763 100644
--- a/html/style.css
+++ b/html/style.css
@@ -181,3 +181,92 @@ h1, h2 {
 }
 
 
+.highlight {
+	/* python3 -c "from pygments.formattters import HtmlFormatter; print(HtmlFormatter(style="monokai").get_style_defs())" */
+	pre { line-height: 125%; }
+	td.linenos .normal { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
+	span.linenos { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
+	td.linenos .special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
+	span.linenos.special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
+	.hll { background-color: #49483e }
+	.c { color: #959077 } /* Comment */
+	.err { color: #ED007E; background-color: #1E0010 } /* Error */
+	.esc { color: #F8F8F2 } /* Escape */
+	.g { color: #F8F8F2 } /* Generic */
+	.k { color: #66D9EF } /* Keyword */
+	.l { color: #AE81FF } /* Literal */
+	.n { color: #F8F8F2 } /* Name */
+	.o { color: #FF4689 } /* Operator */
+	.x { color: #F8F8F2 } /* Other */
+	.p { color: #F8F8F2 } /* Punctuation */
+	.ch { color: #959077 } /* Comment.Hashbang */
+	.cm { color: #959077 } /* Comment.Multiline */
+	.cp { color: #959077 } /* Comment.Preproc */
+	.cpf { color: #959077 } /* Comment.PreprocFile */
+	.c1 { color: #959077 } /* Comment.Single */
+	.cs { color: #959077 } /* Comment.Special */
+	.gd { color: #FF4689 } /* Generic.Deleted */
+	.ge { color: #F8F8F2; font-style: italic } /* Generic.Emph */
+	.ges { color: #F8F8F2; font-weight: bold; font-style: italic } /* Generic.EmphStrong */
+	.gr { color: #F8F8F2 } /* Generic.Error */
+	.gh { color: #F8F8F2 } /* Generic.Heading */
+	.gi { color: #A6E22E } /* Generic.Inserted */
+	.go { color: #66D9EF } /* Generic.Output */
+	.gp { color: #FF4689; font-weight: bold } /* Generic.Prompt */
+	.gs { color: #F8F8F2; font-weight: bold } /* Generic.Strong */
+	.gu { color: #959077 } /* Generic.Subheading */
+	.gt { color: #F8F8F2 } /* Generic.Traceback */
+	.kc { color: #66D9EF } /* Keyword.Constant */
+	.kd { color: #66D9EF } /* Keyword.Declaration */
+	.kn { color: #FF4689 } /* Keyword.Namespace */
+	.kp { color: #66D9EF } /* Keyword.Pseudo */
+	.kr { color: #66D9EF } /* Keyword.Reserved */
+	.kt { color: #66D9EF } /* Keyword.Type */
+	.ld { color: #E6DB74 } /* Literal.Date */
+	.m { color: #AE81FF } /* Literal.Number */
+	.s { color: #E6DB74 } /* Literal.String */
+	.na { color: #A6E22E } /* Name.Attribute */
+	.nb { color: #F8F8F2 } /* Name.Builtin */
+	.nc { color: #A6E22E } /* Name.Class */
+	.no { color: #66D9EF } /* Name.Constant */
+	.nd { color: #A6E22E } /* Name.Decorator */
+	.ni { color: #F8F8F2 } /* Name.Entity */
+	.ne { color: #A6E22E } /* Name.Exception */
+	.nf { color: #A6E22E } /* Name.Function */
+	.nl { color: #F8F8F2 } /* Name.Label */
+	.nn { color: #F8F8F2 } /* Name.Namespace */
+	.nx { color: #A6E22E } /* Name.Other */
+	.py { color: #F8F8F2 } /* Name.Property */
+	.nt { color: #FF4689 } /* Name.Tag */
+	.nv { color: #F8F8F2 } /* Name.Variable */
+	.ow { color: #FF4689 } /* Operator.Word */
+	.pm { color: #F8F8F2 } /* Punctuation.Marker */
+	.w { color: #F8F8F2 } /* Text.Whitespace */
+	.mb { color: #AE81FF } /* Literal.Number.Bin */
+	.mf { color: #AE81FF } /* Literal.Number.Float */
+	.mh { color: #AE81FF } /* Literal.Number.Hex */
+	.mi { color: #AE81FF } /* Literal.Number.Integer */
+	.mo { color: #AE81FF } /* Literal.Number.Oct */
+	.sa { color: #E6DB74 } /* Literal.String.Affix */
+	.sb { color: #E6DB74 } /* Literal.String.Backtick */
+	.sc { color: #E6DB74 } /* Literal.String.Char */
+	.dl { color: #E6DB74 } /* Literal.String.Delimiter */
+	.sd { color: #E6DB74 } /* Literal.String.Doc */
+	.s2 { color: #E6DB74 } /* Literal.String.Double */
+	.se { color: #AE81FF } /* Literal.String.Escape */
+	.sh { color: #E6DB74 } /* Literal.String.Heredoc */
+	.si { color: #E6DB74 } /* Literal.String.Interpol */
+	.sx { color: #E6DB74 } /* Literal.String.Other */
+	.sr { color: #E6DB74 } /* Literal.String.Regex */
+	.s1 { color: #E6DB74 } /* Literal.String.Single */
+	.ss { color: #E6DB74 } /* Literal.String.Symbol */
+	.bp { color: #F8F8F2 } /* Name.Builtin.Pseudo */
+	.fm { color: #A6E22E } /* Name.Function.Magic */
+	.vc { color: #F8F8F2 } /* Name.Variable.Class */
+	.vg { color: #F8F8F2 } /* Name.Variable.Global */
+	.vi { color: #F8F8F2 } /* Name.Variable.Instance */
+	.vm { color: #F8F8F2 } /* Name.Variable.Magic */
+	.il { color: #AE81FF } /* Literal.Number.Integer.Long */
+}
+
+