Restore "coding-now" theme; remove spurious submodule

This reverts commit 20ddb53d20c3e56dacc7fb488746156749391211.

1 files changed, 151 insertions, 0 deletions

diff --git a/coding-now/static/css/github-prettify-theme.css b/coding-now/static/css/github-prettify-theme.css
new file mode 100644
index 0000000..0854811
--- /dev/null
+++ b/coding-now/static/css/github-prettify-theme.css
@@ -0,0 +1,151 @@
+/* GitHub Theme */
+.prettyprint {
+    background: #fff;
+    font-family: Menlo, 'Bitstream Vera Sans Mono', 'DejaVu Sans Mono', Monaco, Consolas, monospace;
+    font-size: 1.2rem;
+    padding: 2.5rem 3rem;
+    -webkit-font-smoothing: antialiased;
+}
+
+.pln {
+    color: #333333;
+}
+
+@media screen {
+    .str {
+        color: #dd1144;
+    }
+
+    .kwd {
+        color: #333333;
+    }
+
+    .com {
+        color: #999988;
+    }
+
+    .typ {
+        color: #445588;
+    }
+
+    .lit {
+        color: #445588;
+    }
+
+    .pun {
+        color: #333333;
+    }
+
+    .opn {
+        color: #333333;
+    }
+
+    .clo {
+        color: #333333;
+    }
+
+    .tag {
+        color: navy;
+    }
+
+    .atn {
+        color: teal;
+    }
+
+    .atv {
+        color: #dd1144;
+    }
+
+    .dec {
+        color: #333333;
+    }
+
+    .var {
+        color: teal;
+    }
+
+    .fun {
+        color: #990000;
+    }
+}
+
+@media print, projection {
+    .str {
+        color: #006600;
+    }
+
+    .kwd {
+        color: #006;
+        font-weight: bold;
+    }
+
+    .com {
+        color: #600;
+        font-style: italic;
+    }
+
+    .typ {
+        color: #404;
+        font-weight: bold;
+    }
+
+    .lit {
+        color: #004444;
+    }
+
+    .pun, .opn, .clo {
+        color: #444400;
+    }
+
+    .tag {
+        color: #006;
+        font-weight: bold;
+    }
+
+    .atn {
+        color: #440044;
+    }
+
+    .atv {
+        color: #006600;
+    }
+}
+
+/* Specify class=linenums on a pre to get line numbering */
+ol.linenums {
+    margin-top: 0;
+    margin-bottom: 0;
+}
+
+/* IE indents via margin-left */
+li.L0,
+li.L1,
+li.L2,
+li.L3,
+li.L4,
+li.L5,
+li.L6,
+li.L7,
+li.L8,
+li.L9 {
+    /* */
+}
+
+/* Alternate shading for lines */
+li.L1,
+li.L3,
+li.L5,
+li.L7,
+li.L9 {
+    /* */
+}
+
+/* My additional styles */
+
+/*li.L0, li.L1, li.L2, li.L3,
+li.L5, li.L6, li.L7, li.L8
+{ list-style-type: decimal !important }*/
+
+.prettyprint li {
+    margin-bottom: .3rem;
+}
\ No newline at end of file