Fix solarized dark theme

This fixes a whitespace issue that was probably introduced
by using the github editor.
This commit is contained in:
mdosch
2019-09-25 19:02:19 +02:00
parent 146fe8913b
commit 82f343c0fc