Fix error-message bug; mod anchor styling.

Add:
        static/js/index.js
                -Fix the `No results found.` end-of-page error-message bug.

        static/sass/index.sass
                -Mod results anchor and hidden-information styling.

static/js/index.js

@@ -402,7 +402,7 @@ function queryServer(){
         var resultDivs = [];
         if("error" in result)
             insertErrorMessage(result["error"]);
-        else if(result["results"].length == 0)
+        else if(result["results"].length == 0 && searchResultsPage == 1)
             insertErrorMessage("No search results.");
         else
             for(var codelet = 0; codelet < result["results"].length; codelet++)

static/sass/index.sass

@@ -6,7 +6,6 @@
 @import variables
 
 $minSearchFieldsWidth: 490px
-// $resultWidth: 400px
 $codeWidth: 700px
 $hiddenInfoWidth: 300px
 
@@ -86,6 +85,7 @@ div#search-field
     width: 40%
 
     a#title
+        letter-spacing: 0.3em
         text-decoration: none
 
         div#title
@@ -327,10 +327,12 @@ div#results
     width: 80%
 
     a
+        @extend .t3
+
         text-decoration: none
 
         &:hover
-            color: orange
+            color: $baseColor1
 
     div#error
         font-size: 170%
@@ -353,7 +355,6 @@ div#results
 div.result
     @extend .t3
 
-    // width: $resultWidth
     height: 200px
     margin-bottom: 100%
     pointer-events: auto
@@ -407,9 +408,6 @@ td#code
         position: relative
         z-index: 1
 
-        // &:hover
-            // overflow: auto
-
         table
             border-collapse: collapse
             font-family: monospace
@@ -443,9 +441,10 @@ div#hidden-info
         padding-left: 20px
 
     span
-        font-family: monospace
         color: $baseColor1
-        float: right
+        font-family: monospace
+        font-size: 1.1em
+        // float: right
 
     div
         display: block