ack coloring that plays nicely with solarized