[theme]
base="dark"
primaryColor="#e28198"
backgroundColor="#061222"
secondaryBackgroundColor="#8aafd8"
textColor="#fee5d7"
font="monospace"

[server]
fileWatcherType = "auto"
headless = true
runOnSave = false
port = 7860