Add link to Developer Documentation in dev-ref and dev-guide
Replace margin by padding to fix missing border
Shorten Developer Documentation link and add icon
Fix style for "Return To Overview" menu entry on mobiles
Merge pull request #123 from saivann/devtoclink

Add link to Developer Documentation in dev-ref and dev-guide