;
; ui.ini
; global user interface settings
; list of menus
;
[ui]
menu=main
menu=options
[colors]
; global foreground color rgb
foreground=1 1 1
; global highlight color rgb
highlight=1 1 .5
; global background color rgba
background=0.5 0.5 0.5 0.5
; global border color rgb
border=0 0.8 0 0.5