created: 20210828220040853
modified: 20210829233932319
title: $:/config/codemirror/theme
type: string