Syntax highlighting of News

=== 2020/09/14: New logo ===
MarsSI got a new logo: the red planet, being processed by our platform. Do you like it?

=== 2020/09/07: Jobs immediately going to "error" ===
We identified and fixed an issue when submitting jobs in MarsSI that made them immediately fail. All jobs were automatically resubmited.