theme: solarized-dark.