Created by: felixfbecker
Closes #12008
I went ahead and created a dark theme version since there was none in Google Drive.
I kept the file names the same in case anything links to these on sourcegraph.com.