Styling for code blocks in type systems