Styling for code blocks in type systems and added link to Bitters