CODE  { color: red; font: 8pt courier }