6 set mainfont {{Bitstream Vera Sans} 8}
8 set uifont {Helvetica 9 bold}
19 set showlocalchanges 1
20 set datetimeformat {%Y-%m-%d %H:%M:%S}
26 set colors {green red blue magenta darkgrey brown orange}
27 set diffcolors {{#ff6b66} #005400 blue}
28 set markbgcolor #e0e0ff
30 set selectbgcolor gray85