Reverted Smart Mode Line to default theme.

Default theme has been updated to support dark colors,
and is much nicer than the previous custom red.