I will remove the green styling from this PR then, and suggest a second PR for adding JBT IS / JBDS IS links from the main page + new nav entries for them.