Skip to content

Don't use distinct background for code in headers when printing #1485

Don't use distinct background for code in headers when printing

Don't use distinct background for code in headers when printing #1485