Fix jumplinks

* Dont have jumplinks in the navbar
* Use another character which has HTML representation as
  some fonts don't have the previous up arrow
Fix forgotten console.log in source