created: 20210316232428596
modified: 20210329225730283
title: $:/config/codemirror/theme
type: string