summaryrefslogtreecommitdiff
path: root/assets
diff options
context:
space:
mode:
authorJade Dominguez <plusjade@gmail.com>2011-12-30 14:17:44 -0800
committerJade Dominguez <plusjade@gmail.com>2012-01-11 15:13:40 -0800
commit4c18e3c136bea49e3335ab594ae22d999892cf27 (patch)
tree6ee24ea94d767bc6c69081531350a6776a5f9fcb /assets
version 0.0.1
Diffstat (limited to 'assets')
-rw-r--r--assets/themes/mark-reid/css/screen.css549
-rw-r--r--assets/themes/mark-reid/css/syntax.css60
-rw-r--r--assets/themes/tom/css/screen.css197
-rw-r--r--assets/themes/tom/css/syntax.css60
4 files changed, 866 insertions, 0 deletions
diff --git a/assets/themes/mark-reid/css/screen.css b/assets/themes/mark-reid/css/screen.css
new file mode 100644
index 0000000..494c382
--- /dev/null
+++ b/assets/themes/mark-reid/css/screen.css
@@ -0,0 +1,549 @@
+/* @override http://mark.reid.dev/files/css/screen.css */
+
+/* @override
+ http://mark.reid.dev/files/css/screen.css
+ http://mark.reid.name/files/css/screen.css
+*/
+
+/* screen.css
+ *
+ * A clean, simple stylesheet that aims for
+ * a consistent vertical rhythm.
+ *
+ * Base font height: 16px
+ * Base line length: 24px
+ *
+ * AUTHOR: Mark Reid <mark@reid.name>
+ */
+
+/* @group Reset */
+body,div,dl,dt,dd,ul,ol,li,h1,h2,h3,h4,h5,h6,pre,form,fieldset,p,blockquote,th,td,abbr { margin:0; padding:0;}
+/* @end */
+
+body {
+ font-family: Palatino, georgia, "times new roman", serif;
+ background-color: whitesmoke;
+ background-position: center -18em;
+ background-repeat: repeat-x;
+}
+
+/* Hack via Joel Spolsky to make image rescaling nicer in IE */
+img { -ms-interpolation-mode:bicubic; }
+
+/* IE6 ignores this and uses default size of 16pt */
+html>body { font-size:16px; }
+p { margin: 0 0 1.5em 0; text-align: justify; }
+
+a { text-decoration: none; color: #339; }
+a:hover { text-decoration: underline; color: #33f; }
+a.pdf:before {
+ margin-right: 1em;
+ content: url(/files/css/icon_pdf.gif); }
+
+h1,h2,h3,h4 {
+ line-height:1em;
+ font-size:1.5em;
+ font-weight: normal;
+ clear: left;
+ font-family: 'lucida grande', sans-serif;
+}
+h1 { margin-bottom: 1em; }
+h2 {
+ font-size: 100%;
+ line-height: 1.5em;
+ margin:1.5em 0 1.5em 0;
+ font-weight:bold;
+}
+
+hr {
+ border-top: 1px solid silver;
+ border-bottom: none;
+ padding: 0;
+ margin: 1.46em 0 0 0;
+}
+
+sup { line-height: 1ex; }
+
+#site {
+ max-width: 46em;
+ margin: 1.5em auto 3em auto;
+ line-height:1.5em;
+}
+
+#page, #disqus_thread {
+ background: white;
+/* background-image: url(grid.png); */
+ padding: 3em 3em 1.5em 3em;
+ border: 1px solid #ccc;
+}
+
+/* More experimental CSS3 features */
+#page, #disqus_thread {
+ box-shadow: 2px 2px 8px #aaa;
+ -webkit-box-shadow: 2px 2px 8px #aaa;
+ -moz-box-shadow: 2px 2px 8px #aaa;
+}
+
+#disqus_thread { padding-top: 0; }
+
+/* TODO
+#page { counter-reset: section; }
+#page h2:before {
+ margin-left: -3.5ex;
+ color: silver;
+ content: "§" counter(section) ". ";
+ counter-increment: section 2;
+}
+*/
+
+/* @group FancyFirst */
+.emphnext + p:first-letter, p.emphfirst:first-letter {
+ font-size: 48px;
+ padding: 0 0.15em 0 0;
+ margin: 0.05em 0 -0.15em 0;
+ line-height: 1em;
+ float: left;
+}
+
+.emphnext + p:first-line, p.emphfirst:first-line {
+ font-variant: small-caps;
+ font-size: larger;
+}
+/* @end */
+
+.right { float: right; clear: left; }
+.left { float: left; clear: right; }
+.inset {
+ border: 1px solid silver;
+ padding: 2px;
+ margin: 0em 0.8em 0.8em 0.8em;
+}
+.right.inset { margin-right: 0 !important; }
+.left.inset { margin-left: 0 !important; }
+.quiet {
+ color: grey;
+ font-size: 0.875em;
+ line-height: 1.714em;
+}
+blockquote {
+ padding: 0 2.8em;
+ margin: 1.714em 0;
+ color: #444;
+ font-size: 0.875em;
+ line-height: 1.714em;
+}
+
+.note {
+ padding-top: 0.5em;
+ background-color: #fafaff;
+ border-top: 1px solid silver;
+ border-bottom: 1px solid silver;
+}
+/* @group Table */
+table.neat {
+ width: 80%;
+ margin: 1.5em auto 1.5em auto;
+ table-layout: fixed;
+ border-spacing: 0;
+}
+table.neat tr { text-align: center; }
+table.neat th { font-weight: normal; background-color: #eeeeee; }
+table.neat td { background-color: white; }
+table.neat th.title { border-bottom: 1px solid gray; border-top: 1px solid gray; vertical-align: bottom; background-color: lightgrey; }
+caption {
+ color: #333;
+ font-size: 0.875em;
+ margin: 0.875em auto 0 auto;
+ line-height: 1.14em;
+ text-align: justify;
+}
+
+/* @end */
+
+/* @group Lists */
+ul {
+ margin-top: 1.5em;
+ margin-bottom: 1.5em;
+ line-height: 1.5em;
+ padding-left: 1.5em;
+}
+ul li {
+ list-style-type: square;
+ list-style-position: outside;
+}
+ol li {
+ list-style-type: decimal;
+ list-style-position: inside;
+}
+dt { font-weight: bold;}
+dd { margin: 0 0 1.5em 0; text-align: justify; }
+
+ul.compact { margin: 0; padding: 0;}
+ul.compact li { list-style: ;
+ list-style-type: square;
+ list-style-position: inside;
+}
+ul.compact li span.date {
+ display: none;
+ color: grey;
+ width: 20%;
+}
+ul.compact li a {
+ width: 70%;
+}
+/* @end */
+
+/* @group Header */
+#header, #header a { color: silver; }
+#header .hover { color: transparent; }
+#header:hover a { color: black; text-shadow: #aaa 2px 2px 3px;}
+#header:hover a:hover { text-decoration: none; }
+#header a:hover .hover { color: silver; }
+#header {
+ position: relative;
+ font-variant: small-caps;
+ line-height: 1em;
+ margin-top: .5em;
+ margin-bottom: 0;
+}
+#header h1 {
+ font-family: Palatino, georgia, "times new roman", serif;
+ margin-bottom: 0;
+ line-height: 0.9em;
+ display: block;
+ font-weight: normal;
+}
+
+#header ul {
+ position: absolute;
+ top: 0;
+ right: 0;
+ font-size: 100%;
+ line-height: 1.6em;
+ display: block;
+ margin: 0;
+ width: 50%;
+ text-align: right;
+}
+#header ul li { display: inline; }
+#header ul li a {
+ padding: 0.4em 0.3em 0 0.3em;
+ display: inline;
+}
+#header ul li a:hover {
+ color: blue;
+ border-bottom: 2px solid blue;
+}
+#header .byline {
+ color: silver;
+ font-size: 10pt;
+ line-height: 75%
+}
+#header:hover .byline a { color: silver; text-shadow: none; }
+#header:hover .byline a:hover { color: black; text-shadow: #aaa 1px 1px 2px;}
+
+/* @group Twitter */
+#twitter_update_list { display: inline; margin: 0; }
+#twitter_update_list li { display: inline; margin: 0;}
+.twitter-title { display: inline; margin: 0; }
+.twitter-title a { display: inline; }
+/* @end */
+
+body#Work #header a.work,
+body#Home #header a.home,
+body#Play #header a.play,
+body#Info #header a.info,
+body#Code #header a.code,
+body#Past #header a.past,
+body#Kith #header a.kith
+{
+ border-bottom: 2px solid silver;
+}
+
+/* @end */
+
+/* @group Footnotes */
+.footnotes { color: grey; }
+.footnotes:hover { color: black; }
+.footnotes ol li {
+ list-style-type: decimal;
+ list-style-position: inside;
+ font-size: 75%;
+ line-height: 1.5em;
+}
+.footnotes ol li > a { display: none; }
+/* @end */
+
+/* @group Sections */
+.section {
+ font-size: 87.5%;
+ line-height: 1.43em;
+ margin-bottom: 1.43em;
+ margin-top: 1.43em;
+ margin-left: 7.5em;
+ padding-right: 3em;
+}
+.section h1 {
+ font-family: Palatino, georgia, serif;
+ font-size: 100%;
+ line-height: 1.43em;
+ position: absolute;
+ width: 6em;
+ max-width: 6em;
+ margin-left: -7.5em;
+ font-weight: bold;
+ font-variant: small-caps;
+}
+.section p { margin-bottom: 1.43em; }
+
+/* @end */
+
+.list .title { font-weight: bold; }
+p.line { position: relative; margin: 0; }
+p.excerpt { margin: 0; }
+.comments { font-size: smaller; position: absolute; color: silver; right: 0; top: 0; }
+.excerpt { color: black; }
+
+/* @group Signature */
+.signature {
+ margin-top: 3em;
+ position: relative;
+}
+.signature .author {
+ font-variant: small-caps;
+ font-style: normal;
+ color: black;
+ display: block;
+ margin-bottom: 1.5em;
+}
+.signature .date {
+ font-size: 87.5%;
+ line-height: 1.5em;
+ display: block;
+ font-variant: small-caps;
+ font-style: normal;
+ position: absolute;
+ right: 0;
+ top: 0;
+}
+.signature .location {
+ display: block;
+ font-size: 87.5%;
+ line-height: 1.5em;
+ position: absolute;
+ right: 0;
+ top: 1.5em;
+}
+/* @end */
+
+/* @group Code */
+pre {
+ margin: 1em 0 1.5em 0;
+ font-size: 0.75em; /* Hack to make code look same size as body font */
+ line-height: 1.5em;
+ color: #111;
+ background: #fffff0;
+ border: 1px solid #ddc;
+ padding: 0.5em 1em;
+ overflow: hidden;
+
+ /* Experimental CSS3 stuff */
+ box-shadow: 1px 1px 6px #ccc;
+ -webkit-box-shadow: 1px 1px 6px #ccc;
+ -moz-box-shadow: 1px 1px 6px #ccc;
+}
+pre:hover {
+ border-right: none;
+ overflow: visible;
+}
+code {
+ font-size: 1em;
+ background-color: #f7f7ff;
+ line-height: 1.4em;
+}
+pre > code {
+ background-color: transparent;
+}
+/* @end */
+
+
+/* @group Disqus */
+#disqus_thread {
+ margin-top: 2.93em;
+}
+.dsq-comment-body {
+ text-align: justify;
+ line-height: 1.29em;
+}
+.dsq-comment {
+ padding-top: 0 !important;
+ margin-top: 1.7em !important;
+ margin-bottom: 1.9em !important;
+ background-image: none !important;
+}
+.dsq-comment-message {
+ line-height: 1.714em;
+}
+.dsq-comment-header {
+ background-color: whitesmoke !important;
+ border-top: 1px solid silver !important;
+ border-bottom: 1px solid silver !important;
+ margin-bottom: 1.15em !important;
+}
+.dsq-header-time { margin-left: 0 !important; }
+.dsq-comment-header cite {
+ font-variant: small-caps;
+ margin-left: 0 !important;
+}
+.dsq-comment-footer {
+ font-size: 75% !important;
+ margin-top: 1px !important;
+}
+#dsq-options {
+ background: whitesmoke;
+ border-bottom: 1px solid silver;
+ border-top: 1px solid silver;
+ padding: 0 0 0 1em;
+}
+#dsq-comments-count {
+ margin-top: 0.8em !important;
+ margin-bottom: 1.2em !important;
+}
+#dsq-extra-links { padding-left: 0 !important; }
+#dsq-extra-links li img { display: none; }
+#dsq-options-toggle { color: silver; font-size: 75% !important;}
+#dsq-add-new-comment {
+ margin-top: 1.19em !important;
+ margin-bottom: 1.25em !important;
+}
+/* The following position, width and height ensure
+ * that none of the body in the iframe shows through.
+ */
+form#comment {
+ position: absolute;
+ height: 100%;
+ width: 100%;
+ background-color: white !important;
+}
+/* @end */
+
+/* @group LibraryThing */
+span.LTtitle { display: none; }
+div.LTitem { display: inline; margin-right: 0.7em; }
+div.LTprovided { display: none; }
+/* @end */
+
+/* @group Last.fm */
+#lastfm a { margin-right: 0.7em; }
+/* @end */
+
+/* @group Delicious */
+.delicious-posts { }
+.delicious-posts ul, .delicious-posts li, .delicious-banner { margin: 0; padding: 0 }
+.delicious-posts li { list-style-position: outside; margin-bottom: 1em; margin-left: 1em; text-align: justify; }
+.delicious-post { }
+.delicious-banner { display: none; }
+.delicious-posts a:hover { }
+.delicious-posts a { }
+.delicious-post a { font-weight: bold; }
+p.delicious-extended { font-size: 100%; display: inline; }
+p.delicious-extended:before { content: ' — '; }
+/* @end */
+
+/* @group Footer */
+#footer {
+ margin-top: 0;
+ color: grey;
+ font-size: 87.5%;
+ line-height: 1.3em;
+}
+#footer address {
+ position: relative;
+ margin: .5em 0 0 0;
+ text-align: right;
+}
+#footer a {
+ font-variant: small-caps;
+ font-style: normal;
+ color: #77d;
+ text-decoration: none;
+}
+#footer .copyright {
+ position: absolute;
+ left: 0;
+ text-align: left;
+ display: block;
+}
+#footer .engine {
+ position: absolute;
+ text-align: right;
+ display: block;
+ right: 0;
+}
+/* @end */
+
+
+/* @group Figures and images */
+dl.figure {
+ margin-top: 1.5em;
+ margin-bottom: 1.5em;
+ text-align: center;
+}
+
+dl.figure dd {
+ color: #333;
+ font-size: 0.875em;
+ margin: 0.875em auto 0 auto;
+ line-height: 1.14em;
+ text-align: justify;
+ width: 85%;
+}
+/* @end */
+
+/* @group Equations */
+div.maruku-equation { display: block ;text-align: center; }
+div.maruku-equation img.maruku-png { position: relative; top: -0.75em;}
+span.maruku-inline { }
+img.maruku-png { }
+/* @end */
+
+/* .prev-next */
+.prev-next {
+ position:relative;
+}
+.prev-next .next{
+ float:right;
+}
+
+/* tag_box ======================================================== */
+.tag_box {
+ list-style:none;
+ margin:0;
+ padding:5px 0 ;
+ overflow:hidden;
+}
+.tag_box li {
+ list-style:none;
+ line-height:1.8em;
+}
+.tag_box.inline li {
+ float:left;
+}
+.tag_box a {
+ padding: 3px 6px;
+ margin: 2px;
+ background: #eee;
+ border-radius: 3px;
+ border:1px dashed #ccc;
+ text-decoration:none;
+}
+.tag_box a span{
+ vertical-align:super;
+ font-size:0.8em;
+}
+.tag_box a.active {
+ background:#57A957;
+ border:1px solid #4C964D;
+ color:#FFF;
+}
+
diff --git a/assets/themes/mark-reid/css/syntax.css b/assets/themes/mark-reid/css/syntax.css
new file mode 100644
index 0000000..2774b76
--- /dev/null
+++ b/assets/themes/mark-reid/css/syntax.css
@@ -0,0 +1,60 @@
+.highlight { background: #ffffff; }
+.highlight .c { color: #999988; font-style: italic } /* Comment */
+.highlight .err { color: #a61717; background-color: #e3d2d2 } /* Error */
+.highlight .k { font-weight: bold } /* Keyword */
+.highlight .o { font-weight: bold } /* Operator */
+.highlight .cm { color: #999988; font-style: italic } /* Comment.Multiline */
+.highlight .cp { color: #999999; font-weight: bold } /* Comment.Preproc */
+.highlight .c1 { color: #999988; font-style: italic } /* Comment.Single */
+.highlight .cs { color: #999999; font-weight: bold; font-style: italic } /* Comment.Special */
+.highlight .gd { color: #000000; background-color: #ffdddd } /* Generic.Deleted */
+.highlight .gd .x { color: #000000; background-color: #ffaaaa } /* Generic.Deleted.Specific */
+.highlight .ge { font-style: italic } /* Generic.Emph */
+.highlight .gr { color: #aa0000 } /* Generic.Error */
+.highlight .gh { color: #999999 } /* Generic.Heading */
+.highlight .gi { color: #000000; background-color: #ddffdd } /* Generic.Inserted */
+.highlight .gi .x { color: #000000; background-color: #aaffaa } /* Generic.Inserted.Specific */
+.highlight .go { color: #888888 } /* Generic.Output */
+.highlight .gp { color: #555555 } /* Generic.Prompt */
+.highlight .gs { font-weight: bold } /* Generic.Strong */
+.highlight .gu { color: #aaaaaa } /* Generic.Subheading */
+.highlight .gt { color: #aa0000 } /* Generic.Traceback */
+.highlight .kc { font-weight: bold } /* Keyword.Constant */
+.highlight .kd { font-weight: bold } /* Keyword.Declaration */
+.highlight .kp { font-weight: bold } /* Keyword.Pseudo */
+.highlight .kr { font-weight: bold } /* Keyword.Reserved */
+.highlight .kt { color: #445588; font-weight: bold } /* Keyword.Type */
+.highlight .m { color: #009999 } /* Literal.Number */
+.highlight .s { color: #d14 } /* Literal.String */
+.highlight .na { color: #008080 } /* Name.Attribute */
+.highlight .nb { color: #0086B3 } /* Name.Builtin */
+.highlight .nc { color: #445588; font-weight: bold } /* Name.Class */
+.highlight .no { color: #008080 } /* Name.Constant */
+.highlight .ni { color: #800080 } /* Name.Entity */
+.highlight .ne { color: #990000; font-weight: bold } /* Name.Exception */
+.highlight .nf { color: #990000; font-weight: bold } /* Name.Function */
+.highlight .nn { color: #555555 } /* Name.Namespace */
+.highlight .nt { color: #000080 } /* Name.Tag */
+.highlight .nv { color: #008080 } /* Name.Variable */
+.highlight .ow { font-weight: bold } /* Operator.Word */
+.highlight .w { color: #bbbbbb } /* Text.Whitespace */
+.highlight .mf { color: #009999 } /* Literal.Number.Float */
+.highlight .mh { color: #009999 } /* Literal.Number.Hex */
+.highlight .mi { color: #009999 } /* Literal.Number.Integer */
+.highlight .mo { color: #009999 } /* Literal.Number.Oct */
+.highlight .sb { color: #d14 } /* Literal.String.Backtick */
+.highlight .sc { color: #d14 } /* Literal.String.Char */
+.highlight .sd { color: #d14 } /* Literal.String.Doc */
+.highlight .s2 { color: #d14 } /* Literal.String.Double */
+.highlight .se { color: #d14 } /* Literal.String.Escape */
+.highlight .sh { color: #d14 } /* Literal.String.Heredoc */
+.highlight .si { color: #d14 } /* Literal.String.Interpol */
+.highlight .sx { color: #d14 } /* Literal.String.Other */
+.highlight .sr { color: #009926 } /* Literal.String.Regex */
+.highlight .s1 { color: #d14 } /* Literal.String.Single */
+.highlight .ss { color: #990073 } /* Literal.String.Symbol */
+.highlight .bp { color: #999999 } /* Name.Builtin.Pseudo */
+.highlight .vc { color: #008080 } /* Name.Variable.Class */
+.highlight .vg { color: #008080 } /* Name.Variable.Global */
+.highlight .vi { color: #008080 } /* Name.Variable.Instance */
+.highlight .il { color: #009999 } /* Literal.Number.Integer.Long */
diff --git a/assets/themes/tom/css/screen.css b/assets/themes/tom/css/screen.css
new file mode 100644
index 0000000..810e5a1
--- /dev/null
+++ b/assets/themes/tom/css/screen.css
@@ -0,0 +1,197 @@
+/*****************************************************************************/
+/*
+/* Common
+/*
+/*****************************************************************************/
+
+/* Global Reset */
+
+* {
+ margin: 0;
+ padding: 0;
+}
+
+html, body {
+ height: 100%;
+}
+
+body {
+ background-color: white;
+ font: 13.34px helvetica, arial, clean, sans-serif;
+ *font-size: small;
+ text-align: center;
+}
+
+h1, h2, h3, h4, h5, h6 {
+ font-size: 100%;
+}
+
+h1 {
+ margin-bottom: 1em;
+}
+
+p {
+ margin: 1em 0;
+}
+
+a {
+ color: #00a;
+}
+
+a:hover {
+ color: black;
+}
+
+a:visited {
+ color: #a0a;
+}
+
+table {
+ font-size: inherit;
+ font: 100%;
+}
+
+/*****************************************************************************/
+/*
+/* Home
+/*
+/*****************************************************************************/
+
+ul.posts {
+ list-style-type: none;
+ margin-bottom: 2em;
+}
+
+ ul.posts li {
+ line-height: 1.75em;
+ }
+
+ ul.posts span {
+ color: #aaa;
+ font-family: Monaco, "Courier New", monospace;
+ font-size: 80%;
+ }
+
+/*****************************************************************************/
+/*
+/* Site
+/*
+/*****************************************************************************/
+
+.site {
+ font-size: 110%;
+ text-align: justify;
+ width: 40em;
+ margin: 3em auto 2em auto;
+ line-height: 1.5em;
+}
+
+.title {
+ color: #a00;
+ font-weight: bold;
+ margin-bottom: 2em;
+}
+
+ .site .title a {
+ color: #a00;
+ text-decoration: none;
+ }
+
+ .site .title a:hover {
+ color: black;
+ }
+
+ .site .title a.extra {
+ color: #aaa;
+ text-decoration: none;
+ margin-left: 1em;
+ }
+
+ .site .title a.extra:hover {
+ color: black;
+ }
+
+ .site .meta {
+ color: #aaa;
+ }
+
+ .site .footer {
+ font-size: 80%;
+ color: #666;
+ border-top: 4px solid #eee;
+ margin-top: 2em;
+ overflow: hidden;
+ }
+
+ .site .footer .contact {
+ float: left;
+ margin-right: 3em;
+ }
+
+ .site .footer .contact a {
+ color: #8085C1;
+ }
+
+ .site .footer .rss {
+ margin-top: 1.1em;
+ margin-right: -.2em;
+ float: right;
+ }
+
+ .site .footer .rss img {
+ border: 0;
+ }
+
+/*****************************************************************************/
+/*
+/* Posts
+/*
+/*****************************************************************************/
+
+#post {
+
+}
+
+ /* standard */
+
+ #post pre {
+ border: 1px solid #ddd;
+ background-color: #eef;
+ padding: 0 .4em;
+ }
+
+ #post ul,
+ #post ol {
+ margin-left: 1.35em;
+ }
+
+ #post code {
+ border: 1px solid #ddd;
+ background-color: #eef;
+ font-size: 85%;
+ padding: 0 .2em;
+ }
+
+ #post pre code {
+ border: none;
+ }
+
+ /* terminal */
+
+ #post pre.terminal {
+ border: 1px solid black;
+ background-color: #333;
+ color: white;
+ }
+
+ #post pre.terminal code {
+ background-color: #333;
+ }
+
+#related {
+ margin-top: 2em;
+}
+
+ #related h2 {
+ margin-bottom: 1em;
+ } \ No newline at end of file
diff --git a/assets/themes/tom/css/syntax.css b/assets/themes/tom/css/syntax.css
new file mode 100644
index 0000000..2774b76
--- /dev/null
+++ b/assets/themes/tom/css/syntax.css
@@ -0,0 +1,60 @@
+.highlight { background: #ffffff; }
+.highlight .c { color: #999988; font-style: italic } /* Comment */
+.highlight .err { color: #a61717; background-color: #e3d2d2 } /* Error */
+.highlight .k { font-weight: bold } /* Keyword */
+.highlight .o { font-weight: bold } /* Operator */
+.highlight .cm { color: #999988; font-style: italic } /* Comment.Multiline */
+.highlight .cp { color: #999999; font-weight: bold } /* Comment.Preproc */
+.highlight .c1 { color: #999988; font-style: italic } /* Comment.Single */
+.highlight .cs { color: #999999; font-weight: bold; font-style: italic } /* Comment.Special */
+.highlight .gd { color: #000000; background-color: #ffdddd } /* Generic.Deleted */
+.highlight .gd .x { color: #000000; background-color: #ffaaaa } /* Generic.Deleted.Specific */
+.highlight .ge { font-style: italic } /* Generic.Emph */
+.highlight .gr { color: #aa0000 } /* Generic.Error */
+.highlight .gh { color: #999999 } /* Generic.Heading */
+.highlight .gi { color: #000000; background-color: #ddffdd } /* Generic.Inserted */
+.highlight .gi .x { color: #000000; background-color: #aaffaa } /* Generic.Inserted.Specific */
+.highlight .go { color: #888888 } /* Generic.Output */
+.highlight .gp { color: #555555 } /* Generic.Prompt */
+.highlight .gs { font-weight: bold } /* Generic.Strong */
+.highlight .gu { color: #aaaaaa } /* Generic.Subheading */
+.highlight .gt { color: #aa0000 } /* Generic.Traceback */
+.highlight .kc { font-weight: bold } /* Keyword.Constant */
+.highlight .kd { font-weight: bold } /* Keyword.Declaration */
+.highlight .kp { font-weight: bold } /* Keyword.Pseudo */
+.highlight .kr { font-weight: bold } /* Keyword.Reserved */
+.highlight .kt { color: #445588; font-weight: bold } /* Keyword.Type */
+.highlight .m { color: #009999 } /* Literal.Number */
+.highlight .s { color: #d14 } /* Literal.String */
+.highlight .na { color: #008080 } /* Name.Attribute */
+.highlight .nb { color: #0086B3 } /* Name.Builtin */
+.highlight .nc { color: #445588; font-weight: bold } /* Name.Class */
+.highlight .no { color: #008080 } /* Name.Constant */
+.highlight .ni { color: #800080 } /* Name.Entity */
+.highlight .ne { color: #990000; font-weight: bold } /* Name.Exception */
+.highlight .nf { color: #990000; font-weight: bold } /* Name.Function */
+.highlight .nn { color: #555555 } /* Name.Namespace */
+.highlight .nt { color: #000080 } /* Name.Tag */
+.highlight .nv { color: #008080 } /* Name.Variable */
+.highlight .ow { font-weight: bold } /* Operator.Word */
+.highlight .w { color: #bbbbbb } /* Text.Whitespace */
+.highlight .mf { color: #009999 } /* Literal.Number.Float */
+.highlight .mh { color: #009999 } /* Literal.Number.Hex */
+.highlight .mi { color: #009999 } /* Literal.Number.Integer */
+.highlight .mo { color: #009999 } /* Literal.Number.Oct */
+.highlight .sb { color: #d14 } /* Literal.String.Backtick */
+.highlight .sc { color: #d14 } /* Literal.String.Char */
+.highlight .sd { color: #d14 } /* Literal.String.Doc */
+.highlight .s2 { color: #d14 } /* Literal.String.Double */
+.highlight .se { color: #d14 } /* Literal.String.Escape */
+.highlight .sh { color: #d14 } /* Literal.String.Heredoc */
+.highlight .si { color: #d14 } /* Literal.String.Interpol */
+.highlight .sx { color: #d14 } /* Literal.String.Other */
+.highlight .sr { color: #009926 } /* Literal.String.Regex */
+.highlight .s1 { color: #d14 } /* Literal.String.Single */
+.highlight .ss { color: #990073 } /* Literal.String.Symbol */
+.highlight .bp { color: #999999 } /* Name.Builtin.Pseudo */
+.highlight .vc { color: #008080 } /* Name.Variable.Class */
+.highlight .vg { color: #008080 } /* Name.Variable.Global */
+.highlight .vi { color: #008080 } /* Name.Variable.Instance */
+.highlight .il { color: #009999 } /* Literal.Number.Integer.Long */