Fix duplicate line id

Author: ahornace

opengrok-web/src/main/webapp/default/style-1.0.2.css

@@ -419,7 +419,7 @@ html.diff #whole_header {
     display: inline-block;
 }
 
-#history::before, #bar .annotate::before, #line::before, #defbox::before, #download::before, #raw::before {
+#history::before, #bar .annotate::before, #line::before, #defbox::before, #download::before, #raw::before, #scopes::before {
     content: "|";
     padding: 0.5ex;
     color: black;

opengrok-web/src/main/webapp/minisearch.jspf

@@ -80,7 +80,7 @@ org.opengrok.indexer.web.Util"%><%
               <span id="line"></span>Line#</a></li>
           <li><a href="#" class="scopes-toggle"
             title="Show or hide scopes window.">
-              <span id="line"><%-- TODO: give its own id --%></span>Scopes#</a></li>
+              <span id="scopes"></span>Scopes#</a></li>
         <li><a href="#" id="navigate"
             title="Show or hide symbol list.">
               <span id="defbox"></span>Navigate#</a></li><%