[CSS + CODE] cleaner + icon to compare with.

static/js/graphExplorer/extras_explorerjs.js

@@ -884,8 +884,12 @@ function GetUserPortfolio() {
                var sel_p_id = selected[0], sel_c_id =selected[1]
                
                var html_selection  = ""
-               html_selection     += '<center>You are comparing:</center>'
-               html_selection     += "<center> ("+portfolio[sel_p_id] + ") <=> (" + portfolio[sel_c_id]+")</center><br>"
+               html_selection     += '<center>You are comparing:</center>'+"\n"
+               html_selection     += '<center>'
+               html_selection     += '(' + portfolio[sel_p_id] + ') '
+               html_selection     += '<span class="glyphicon glyphicon-resize-horizontal" aria-hidden="true"></span>'
+               html_selection     += ' (' + portfolio[sel_c_id] + ')'
+               html_selection     += '</center><br>'+"\n"
                $("#selected_corpus").html( html_selection )
 
             });