anchor.diff:            ul.nav.navbar-nav
               if active == 'home'
                 li.active
  -                a.navbar-link(href='/') 
  +                a.navbar-link(href='/')
                     span.glyphicon.glyphicon-search
                     span.menu-text #{settings.locale.menu_explorer}
               else
                 li
  -                a.navbar-link(href='/') 
  +                a.navbar-link(href='/')
                     span.glyphicon.glyphicon-search
                     span.menu-text #{settings.locale.menu_explorer}
               if settings.heavy == true
  
positive.code:     script(src='/vendor/jqplot/plugins/jqplot.pieRenderer.min.js')
      script(src='/vendor/jqplot/plugins/jqplot.barRenderer.min.js')
      script(src='/vendor/jqplot/plugins/jqplot.categoryAxisRenderer.min.js')
      script(src='https://cdnjs.cloudflare.com/ajax/libs/moment.js/2.9.0/moment.min.js')
      script(src='//cdn.datatables.net/1.10.2/js/jquery.dataTables.min.js')  
      script(src='//cdn.datatables.net/responsive/1.0.1/js/dataTables.responsive.js')
      script(src='//cdn.datatables.net/plug-ins/725b2a2115b/integration/bootstrap/3/dataTables.bootstrap.js')
      script(src='/javascripts/chart.js')
      script.
        $(document).ready(function(){
          function update_stats(){   
            $.ajax({url: '/ext/summary', success: function(json){
              $("#supply").text(json.data[0].supply);
              $("#difficulty").text(json.data[0].difficulty);
  
negative.code:         - min = '0' + min
        if sec < 10
          - sec = '0' + sec
        - var time = date + suffix + ' ' + month + ' ' + year + ' ' + hour + ':' + min + ':' + sec ;
        - return time
      -  };
      .nav.navbar.navbar-default.navbar-fixed-top(role='navigation')
  