back to original css setup
use outlines, not borders, in syntax highlighting