1 files changed, 50 insertions, 4 deletions

diff --git a/docs/css/main.scss b/docs/css/main.scss
index c6b41594f..2fca7d8ea 100644
--- a/docs/css/main.scss
+++ b/docs/css/main.scss
@@ -15,8 +15,8 @@ $base-line-height: 1.5;
 
 $spacing-unit:     30px;
 
-$text-color:       #111;
-$background-color: #fdfdfd;
+$text-color:       #efefef;
+$background-color: #002B36;
 $brand-color:      #2a7ae2;
 
 
@@ -25,6 +25,8 @@ $blue-light:    rgba(52, 152, 219, 0.12);
 $grey:          #f8f8f8;
 $red:           #de332e;
 
+$link-color: $blue;
+
 // content area
 $distance-top:     80px;
 $content-width:    1150px;
@@ -49,6 +51,14 @@ html {
     box-sizing: inherit;
 }
 
+*:focus {
+    outline: none;
+}
+
+a, a:focus, a:hover, a:visited {
+    color: $link-color;
+}
+
 div#container {
     position: relative;
     max-width: $content-width;
@@ -80,10 +90,25 @@ div#container {
         padding-right: 20px;
         width: $toc-width;
 
+        form#search-form {
+            input#search-box {
+                width: 100%;
+                border: 0;
+                height: 24px;
+                font-size: 14px;
+                padding-left: 4px;
+            }
+
+            input#search-button {
+                margin-top: 3px;
+            }
+        }
+
         > div {
             position: fixed;
             top: $distance-top;
             bottom: auto;
+            max-width: $toc-width;
 
             a > div#scala-logo {
                 width: 64px;
@@ -125,6 +150,21 @@ div#container {
     }
 }
 
+h1#search {
+    margin-top: 50px;
+}
+
+form#search-bar {
+    width: 100%;
+    > input {
+        width: 100%;
+        border: 0;
+        height: 24px;
+        font-size: 14px;
+        padding-left: 4px;
+    }
+}
+
 div.author-container {
     height: 50px;
     margin-bottom: 15px;
@@ -155,7 +195,7 @@ ul.post-list {
 
     > li {
         div.date {
-            color: rgba(0,0,0,0.45);
+            color: rgba(255,255,255,0.55);
         }
     }
 }
@@ -165,12 +205,18 @@ pre, code {
     border: 0;
     border-radius: 3px;
     background-color: $grey;
+    color: $background-color;
     font-family: $code-font-family;
 }
 
+code {
+    padding-left: 0.1em;
+    padding-right: 0.1em;
+}
+
 body {
     font: 400 16px/1.5 "Helvetica Neue", Helvetica, Arial, sans-serif;
-    color: #111;
+    color: $text-color;
 }
 
 @include media-query(1166px) {