Add target="_blank" to support tab links, so they open in new tabs. Fixes #998
Add target="_blank" to support tab links, so they open in new tabs. Fixes #998

serapath-contribution/browser-solidity,serapath-contribution/browser-solidity,serapath-contribution/browser-solidity