diff --git a/static/css/lib/highlight.css b/static/css/lib/highlight.css index 52ce2e6..39bc831 100644 --- a/static/css/lib/highlight.css +++ b/static/css/lib/highlight.css @@ -2,7 +2,7 @@ td.linenos { background-color: #f0f0f0; padding-right: 10px; } span.lineno { background-color: #f0f0f0; padding: 0 5px 0 5px; } pre { line-height: 125% } .highlighttable { background-color: #49483e; width: inherit; } -.hll { background-color: rgba(255, 255, 0, 0.5); width: inherit; display: block; } +.hll { display: block } { background: #272822; color: #f8f8f2 } .c { color: #75715e } /* Comment */ .err { color: #960050; background-color: #1e0010 } /* Error */ diff --git a/static/js/index.js b/static/js/index.js index b67ac64..10ee0d0 100644 --- a/static/js/index.js +++ b/static/js/index.js @@ -50,7 +50,7 @@ var codeExample = '
' + title.innerHTML = 'File ' + codelet.filename + ''; site.innerHTML = 'on ' + codelet.origin[0] +''; - language.innerHTML = codelet.language; + language.innerHTML = 'Language: ' + codelet.language + ''; dateModified.innerHTML = 'Last modified: ' + codelet.date_modified + ''; // Needs to be changed from int to string on the server dateCreated.innerHTML = 'Created: ' + codelet.date_created + ''; @@ -209,6 +209,7 @@ function createResult(codelet) { //Finish and append elements to parent elements hiddenInfo.appendChild(dateCreated); hiddenInfo.appendChild(dateModified); + hiddenInfo.appendChild(language); hiddenInfo.appendChild(authors); hiddenInfoContainer.appendChild(hiddenInfo); @@ -219,7 +220,6 @@ function createResult(codelet) { displayInfo.appendChild(title); displayInfo.appendChild(site); - displayInfo.appendChild(language); newDiv.appendChild(displayInfo); newDiv.appendChild(table); diff --git a/static/sass/index.sass b/static/sass/index.sass index 3039c40..85b8c09 100644 --- a/static/sass/index.sass +++ b/static/sass/index.sass @@ -372,11 +372,7 @@ div#hidden-info color: #5CADFF float: right - #date-created - display: block - - - #date-modified + div display: block #authors