theme: more pronounced <code> element