css: fixed red borders in code snippets