8 set mainfont {Helvetica 14}
9 set textfont {Courier 14}
10 set uifont {Helvetica 14 bold}
15 set mainfont {{Bitstream Vera Sans} 8}
17 set uifont {Helvetica 9 bold}
33 set showlocalchanges 1
34 set datetimeformat {%Y-%m-%d %H:%M:%S}
40 set colors {green red blue magenta darkgrey brown orange}
41 set diffcolors {{#ff6b66} #005400 blue}
42 set markbgcolor #e0e0ff
44 set selectbgcolor gray85