diff --git a/static/js/index.js b/static/js/index.js index d23f432..8fd9651 100644 --- a/static/js/index.js +++ b/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++) diff --git a/static/sass/index.sass b/static/sass/index.sass index 9dc4af5..815ecba 100644 --- a/static/sass/index.sass +++ b/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