[theme]
name = blues
background = #192d40
textboxbg = #192d40
foreground = #9c9c9c
linenumbers = #5E4803
border = #192d40
info = #AE8400
font = Dingbats
fontsize = 10
padding = 8
width = 0.45
height = 0.75